void do_tests() { mixed *a; string s = @END xxx yyy END; ASSERT( s == "xxx\nyyy\n"); a = @@END xxx yyy END; ASSERT(sizeof(a) == 2); }