memory_model.h revision c5d71243
1