***************
*** 71,77 ****
  { int ch,ch1;
    char buf[20];
    while (3==read_some(buf,3,'\n',0))
!    { buf[4] = 0;
       if (strcmp(buf,"DEF") ==0)
         { printf("\n%s",buf);
  	 while(1==read_some(buf,1,'\"',1))
--- 71,77 ----
  { int ch,ch1;
    char buf[20];
    while (3==read_some(buf,3,'\n',0))
!    { buf[3] = 0;
       if (strcmp(buf,"DEF") ==0)
         { printf("\n%s",buf);
  	 while(1==read_some(buf,1,'\"',1))