Holger Granholm wrote in a message to Jack Stein:

JS>The GAWK.EXE is not large:

JS>gawk2156.exe ³   126484³ 3/17/95³12:3

JS>12k is not what I would call a space filler for a hard drive.  One
JS>reason it is so small, yet so powerful is it also uses EMX, like all
JS>good UNIX ports.

 HG> If I read the above number correctly it is ca. 123.5 kb, not
 HG> 12 k. However, I agree that even 123.5 kb isn't too bad.

Yes, 126k is what I meant there.  And yes, it is not large, but small, very
small considering it is not a single purpose application, but a full blown
high level, programing language.

                                              Jack 
--- timEd/2-B11
140/1
278/111