src/mc/mc_unw_vmread.c
src/mc/mc_mmalloc.h
src/mc/mc_model_checker.h
+ src/mc/mc_model_checker.c
src/mc/mc_object_info.h
src/mc/mc_object_info.c
src/mc/mc_checkpoint.c
src/mc/mc_memory_map.h
src/mc/memory_map.c
src/mc/mc_client.c
+ src/mc/mc_client_api.c
src/mc/mc_client.h
src/mc/mc_protocol.h
src/mc/mc_protocol.c