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