(MAKE-INSTRS
 (18 10 (:TYPE-PRESCRIPTION MOD-ZERO . 1))
 (18 10 (:TYPE-PRESCRIPTION MOD-POSITIVE . 2))
 (10 10 (:TYPE-PRESCRIPTION MOD-POSITIVE . 1))
 (10 10 (:TYPE-PRESCRIPTION MOD-NONPOSITIVE))
 (10 10 (:TYPE-PRESCRIPTION MOD-NEGATIVE . 2))
 (10 10 (:TYPE-PRESCRIPTION MOD-NEGATIVE . 1))
 (4 4 (:TYPE-PRESCRIPTION NOT-INTEGERP-4B))
 (4 4 (:TYPE-PRESCRIPTION NOT-INTEGERP-3B))
 (4 4 (:TYPE-PRESCRIPTION NOT-INTEGERP-2B))
 (4 4 (:TYPE-PRESCRIPTION NOT-INTEGERP-1B))
 )
