struct _S { int f; };
var v0 = new _S;
!_S? !v1;
if (arg) v1 = new _S;
if (v1) {
    v0.f = v1.f;
} else {
    v0.f = 2;
}
return v0;