added names for -replay and -replayLazily