Correct uses of `lua_rawlen`.