/* ECP: FILEname=fig12_9.c */
/* 1*/   void
/* 2*/   SkipLine( void )
/* 3*/   {
/* 4*/       scanf( "%*[^\n]" );       /* Skip To The End Of The Line */
/* 5*/       scanf( "%*1[\n]" );       /* Skip One Newline */
/* 6*/   }