debug.getregistry ()
Returns the registry table (see
§3.5
).