memory_model.h revision ae4f9769
1