memory_model.h revision 9f572e3f
1