void foo(void) { int a; junk(a = 3); }