In treat_superblock, we decide to only look at superblocks belonging to main. As we just want to use our annotations, monitor_address only tests for annotated. In flip_value, we currently do nothing by simply returning {0}. Replacing zero by any other number makes the value flip at the according bits.

Now, we are ready to run:

bin/valgrind --tool=fitin --control-script=elevator.lua ./elevator