1#include <stdio.h> 2g () 3{ 4 return '\n'; 5} 6 7f () 8{ 9 char s[] = "abcedfg012345"; 10 char *sp = s + 12; 11 12 switch (g ()) 13 { 14 case '\n': 15 break; 16 } 17 18 while (*--sp == '0') 19 ; 20 sprintf (sp + 1, "X"); 21 22 if (s[12] != 'X') 23 abort (); 24} 25 26main () 27{ 28 f (); 29 exit (0); 30} 31