((/models/y86/y86-two-level-abs/common/x86-memory-high.lisp::rm08 (nil nil nil (memi) nil nil nil) ((addr x86-32) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/models/y86/y86-two-level-abs/common/x86-memory-high.lisp::rm16 (nil nil nil (let*) nil nil nil) ((word) nil nil ((byte0 (memi addr x86-32))) nil nil nil) (nil nil (byte1 word) nil nil nil nil) (nil nil nil (memi logior) nil nil nil) ((x86-32 byte0) nil nil (n32+ ash) nil nil nil) ((addr byte1) (1 8) nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/models/y86/y86-two-level-abs/common/x86-memory-high.lisp::rm32 (nil nil nil (let*) nil nil nil) ((dword) nil nil nil nil nil nil) (nil nil (byte1 word0 byte2 byte3 word1 dword) nil nil nil nil) (nil nil nil (memi logior memi memi logior logior) nil nil nil) ((x86-32 byte0 x86-32 x86-32 byte2 word0) nil nil (n32+ ash n32+ n32+ ash ash) nil nil nil) ((addr byte1 addr addr byte3 word1) (1 8 2 3 8 16) nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/models/y86/y86-two-level-abs/common/x86-memory-high.lisp::wm08 (nil nil nil nil (!memi) nil nil) ((addr x86-32) nil nil (logand) nil nil nil) ((val) (255) nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)))