(i43p x) → *
Function: i43p$inline
(defun i43p$inline (x) (declare (xargs :guard t)) (signed-byte-p 43 x))
