1 /* the second assignment assumes failed before */ 2 int 3 main(void) { 4 double x = 1; 5 int foo = 0; 6 if (foo) 7 x = 1; 8 } 9