/* ECP: FILEname=fig9_12.c */
/* 1*/   typedef struct Block
/* 2*/   {
/* 3*/       char Junk[ 508 ];
/* 4*/       int Key;
/* 5*/   } Block;

/* 6*/   struct Block P[ 2000 ];