(n02 x) → *
Function: n02$inline
(defun n02$inline (x) (declare (xargs :guard (integerp x))) (mbe :logic (loghead 2 x) :exec (logand 3 x)))
