On the way to a record/replay framework