Re: ksh INT32 type

[Ted Unangst]

> - * NOTE: INT32 may end up being more than 32 bits.

>  /* Table flag type - needs > 16 and < 32 bits */
> -typedef INT32 Tflag;

awkward...