RE: [Newbie] userdata

[Luiz Henrique de Figueiredo <lhf@...>]

>And if you just want to push a plain pointer and don't want the
>allocation associated with user data, push it as a number (if you're
>using doubles with at least 32-bits of mantissa).  Tons faster.

Of course, this is not strict ANSI C, even though it works in many platforms.
--lhf