* jv-lang.h (java_int_type, java_byte_type, java_short_type,