2ac8cbee8ef3 ("tools/memory-model: Make checkghlitmus.sh use mselect7")