memory_model.h revision 012dcef3
1