Re: Must a userdata void* point to a valid memory location?

[lua+Steven.Murdoch@...]

> >In my application it would be more convenient if the userdata was an int, 
> >rather than the address of a memory location.
> 
> Use lua_newuserdata to allocate sizeof(int) bytes and store your int there.

I have found lua_newuserdata in the lua-4.0.1 lua.h file, but not in the Lua 
4.0 Reference Manual. Does this mean this function is not supported or is it 
still acceptable to use it with Lua 4.0?

Thank you,
Steven Murdoch.