memory_model.h revision 67de6482
1