memory_model.h revision a0140c1d
1