((/models/y86/y86-basic/common/x86-state.lisp::gl-int (nil nil nil nil (if) nil nil) ((nil) nil (zp) (cons) nil nil nil) ((count start) nil nil nil (recursive-call) nil nil) ((by) nil (1-) (+) nil nil nil) ((by start count) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/models/y86/y86-basic/common/x86-state.lisp::get-stobj-raw-defs (nil nil nil (let*) nil nil nil) (nil nil nil nil ((name (cadr form)) defstobj-raw-defs) nil nil) ((name template wrld) nil (args wrld template) nil nil nil nil) (nil nil (cddr w) nil (defstobj-template) nil nil) ((form state name args wrld) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/models/y86/y86-basic/common/x86-state.lisp::wm32 (nil nil (declare) nil nil nil nil) (nil nil nil (type) nil nil nil) ((addr) nil (unsigned-byte) nil nil nil nil) (nil (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)))