Source files for Translate and Replay programs