void F0(out float l0); void F1(out int l0); void F0(out float l0) { l0 = 1.0; return; } void F1(out int l0) { l0 = 2; return; }