/* File: buffer1.c
   Demonstrates that buffered output does not
   get written out after a crash.
*/

#include <stdio.h>

main() {
   int *ptr ;

   printf("Hello World\n") ;
   printf("Hello again") ;

   /* Crash Burn Die */
   ptr = NULL ;
   *ptr = 123 ;
}