pub const RR_skipped_call_kind_RR_CALL_CPU_REG_WRITE: RR_skipped_call_kind = 10;