This is an implementation of the diff translator that is used by FORWARD