opF1(Test.F1 f11, Current current) => new Test.Initial.OpF1ReturnValue(f11, new Test.F1("F12"));
opF1(Test.F1 f11, out Test.F1 f12, Ice.Current current) { f12 = new Test.F1("F12"); return(f11); }