===== 12.9 Class javacard.framework.service.RMIService ===== public static final byte DEFAULT_RMI_INVOKE_INSTRUCTION = 0x38;