add_executable(memorymodel model.cpp)
add_executable(volatile volatile.cpp)
add_executable(cmem cmem.c)
add_executable(cautofree cautofree.c)