Unidasm on the 444 code gave a bunch of "invalid opcode" errors because it didn't like the opcode bit patterns for the extra address bit. Now that I think about it, that was probably just an output formatting issue, and has nothing to do with the emulation of the chip.