3136,3137c
  prodptr[2] := mem;
  prodno := 2 ;
.
3130,3134d
426c
  repeat getchar until eof or((ch='*') and (filebuf(input)=')'));
.
q
