memory_model.h revision b2441318
1