Z-machine standard: unclear aspects/ambiguities

[borg323]

Note that praxix uses undefined behavior of the print_table instruction, see the discussion in Additional documentation for @print_table opcode?