v: == 0; main: () = _ = v == v;