> void F(int a) > { > if (a == a) do_stuff(); > } > > .... > main() > { > int x; > F(x); > } This C program unconditionally executes UB and any translation at all is acceptable -- end of story. John