efficiency: "show objs" was converting from REAL to VIRTUAL before calling read_object.
efficiency: "show objs" was converting from REAL to VIRTUAL before calling
read_object.

sneezymud/sneezymud,sneezymud/sneezymud,sneezymud/sneezymud,sneezymud/sneezymud,sneezymud/sneezymud,sneezymud/sneezymud,sneezymud/sneezymud