public static void PushResultSize(LuaBufferPtr B, int sz) { LuaLDelegates.luaL_pushresultsize(B, sz); }