>>>>> "Lars" == Lars Gullik Bj�nnes <[EMAIL PROTECTED]> writes:
Lars> I think we should switch to using int right away.
Lars> That char types should never be used for these kind of things,
Lars> and short should only be used if you need it to be a short.
Lars> Let's use int.
It seems that Asger mentionned that the paragraph parameters use a lot
of memory. Using int is a 20 bytes per paragraph overhead. It seems
that it is not really necessary, since having enums roll at 65535 is
not a problem (I am not even sure that TeX would handle over 65535 for
counters...).
However, what worries me is to be sure that doing this is really safe.
JMarc
