/* ECP: FILEname=fig8_13.c */
/* 1*/   ??=include <stdio.h>

/* 2*/   main( void )
/* 3*/   ??<
/* 4*/       printf( "Hello world??/n" );
/* 5*/   ??>