(n30 x) → *
Function: n30$inline
(defun n30$inline (x) (declare (xargs :guard (integerp x))) (mbe :logic (loghead 30 x) :exec (logand 1073741823 x)))
