Inline push and lua_dispatcher functions.