Record and replay finally work