In a message dated 11-06-99, Jack Stein said to Holger Granholm:

Hi Jack,

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.

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

Have a nice day,

Holger

___
 * MR/2 2.26 * Have you crashed your Windows today?


--- PCBoard (R) v15.22 (OS/2) 2