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