(defun get-byte (paddr offset)
(defun get-hword (paddr offset)
(defun get-word (paddr offset)

(defun set-byte (paddr offset i)
(defun set-hword (paddr offset i)
(defun set-word (paddr offset pval)

(defun p-constr (v-high v-low)

(defun p-add (p i)
(defun p-shiftl (p i)
(defun p-shiftr (n i)
(defun p-align (x i)

(defun tag-and (p tag-code)
(defun tag-andc1 (p tag-code)
(defun tag-ior (p tag-code)
(defun tag-xor (p tag-code)
(defun tag-not (p)
(defun tag-eq (p tag-code)
(defun get-tag (p)
(defun tag-set (p tag-code)

(defun addr-plus (p i)
(defun addr-minus (p i)
(defun addr-eq (p1 p2) *
(defun addr-eqi (p1 i) *
(defun addr-set (p1 p2)
(defun addr-and (p i) *
(defun addr-andc1 (p i) *
(defun addr-ior (p i) *
(defun addr-xor (p i)
(defun addr-not (p)
(defun addr-shiftl (p i)
(defun addr-shiftr (p i)
(defun get-addr (p) *

(defun eq (x y) *

(defun %+ (x y)
(defun %- (x y)

(defun %* (x y)
(defun %div (x y)

(defun %/= (x y)
(defun %= (x y)
(defun %> (x y)
(defun %< (x y)
(defun %<= (x y)
(defun %>= (x y)