lua_topointer?

["John Belmonte" <jvb@...>]

In the 4.0b lua.h header there is a function called lua_topointer.  It's not
in the manual, correct?

-John