Constant simics_api_sys::bindings::INTERNAL_MICRO_CHECKPOINT_LOADED_HAP_NAME

pub const INTERNAL_MICRO_CHECKPOINT_LOADED_HAP_NAME: &[u8; 33] = b"Internal_Micro_Checkpoint_Loaded\0";