lbaselib.c calls lua_setlevel, which is part of the Lua public API, but is not metioned in http://www.lua.org/manual/5.1/manual.html - is this deliberate?
