memory_model.h revision aa462abe
1