memory_model.h revision bb1c50d3
1