replay: make locking visible outside replay code