- // This is &std_heap->breakval in the target process:
- void** addr = &MC_process_get_heap(&mc_model_checker->process)->breakval;
- // Read (std_heap->breakval) in the target process (*addr i.e. std_heap->breakval):
- return MC_snapshot_read_pointer(snapshot, addr, MC_PROCESS_INDEX_ANY);