#38: debugged polymorphic luaL_checkudata_ex