aedbf1e08587 ("tools/memory-model: Add simpletest.sh to check locking, RCU, and SRCU")