Functional record - replay + prerecorded replay