(JAVA-BOOLEAN-AS-INT-P)
(JAVA-BYTE-AS-INT-P)
(JAVA-SHORT-AS-INT-P)
(JAVA-CHAR-AS-INT-P)
(JVM::NOT-EQUAL-NIL-WHEN-JAVA-BYTE-AS-INT-P)
(JVM::NOT-EQUAL-NIL-WHEN-JAVA-BOOLEAN-AS-INT-P)
(JVM::NOT-EQUAL-NIL-WHEN-JAVA-CHAR-AS-INT-P)
(JVM::NOT-EQUAL-NIL-WHEN-JAVA-SHORT-AS-INT-P)
