memory_model.h revision a117e66e
1