- MC_process_read_simple(&mc_model_checker->process, &mutex,
- simcall_mutex_lock__get__mutex(req), sizeof(mutex));
+ mc_model_checker->process().read_bytes(&mutex, sizeof(mutex),
+ remote(
+ req->call == SIMCALL_MUTEX_LOCK
+ ? simcall_mutex_lock__get__mutex(req)
+ : simcall_mutex_trylock__get__mutex(req)
+ ));