// andand.oad - verify that the type of "&&" is that of the first failing item
proc main()
{
    "0.0 && 3 == ", 0.0 && 3, "\n";
}