1 #include <stdio.h> 2 3 main () 4 { 5 char token[80]; 6 7 printf("about to sleep"); 8 fflush(stdout); 9 sleep(2); 10 endnot(); 11 } 12 13 endnot() 14 { 15 printf("done\n"); 16 } 17