SrmRecorder: test debugging