keep stack clean via lua_pop