anyway, usage of lua_pushlstring instead of lua_pushstring is much better.
It depends on what you call "better". For literal strings,
lua_pushstring is both simpler to use and faster. For mutable
strings, lua_pushstring may not be even correct. (The string
might contain embedded zeros.)
