module M { fun foo() { 5(); 5(0, 1); } }