Implementation of the Universal Machine of the Ninth annual ICFP Programming Contest