Partially implemented lua_push