Symbol: lua_pushlstring