lua_objlen was renamed lua_rawlen. Revert my earlier change that used lua_len and lua_tounsigned (which works too, but is less obvious)