((/models/y86/y86-basic/py86/py86-mem-init.lisp::m86-regp (nil nil nil nil (if) nil nil) ((t) nil (atom) (b*) nil nil nil) ((updates) nil ((update (car updates))) (and) nil nil nil) (nil nil (rest consp) (b*) nil nil nil) ((update) nil (cdr (field (car update))) nil nil (and) nil) ((updates) nil (value keywordp n32p recursive-call) (assoc) nil nil nil) ((field field *x86-32-reg-numbers* value rest) nil (cdr) nil nil nil nil)) (/models/y86/y86-basic/py86/py86-mem-init.lisp::m86-memp (nil nil nil nil (if) nil nil) ((t) nil (atom) (b*) nil nil nil) ((updates) nil ((update (car updates))) (and) nil nil nil) (nil nil (rest consp) (b*) nil nil nil) ((update) nil (cdr (addr (car update))) nil (and) nil nil) ((updates) nil (value n32p n08p recursive-call) nil nil nil nil) ((addr value rest) nil (cdr) nil nil nil nil)))