A pair of Sail implementations which allow Sail operations to be first recorded to a log file, then reproduced from the log file