!7 sclass F0 {} static F0 call(F0 f) { ret f; } static O call(O f, O... y) { ret f; } p { F0 f = call(new F0); }