/** Execute a given simcall */
void MC_simcall_handle(smx_simcall_t req, int value);
/** Execute a given simcall */
void MC_simcall_handle(smx_simcall_t req, int value);
/** Get the process info structure from the process remote address */
mc_smx_process_info_t MC_smx_resolve_process_info(smx_process_t process_remote_address);
/** Get the process info structure from the process remote address */
mc_smx_process_info_t MC_smx_resolve_process_info(smx_process_t process_remote_address);