What is made up of producing a compressed file given a source and a target?