Record/replay example does not work