(n32 x) → *
Function: n32$inline
(defun n32$inline (x) (declare (xargs :guard (integerp x))) (mbe :logic (loghead 32 x) :exec (logand 4294967295 x)))
