Implementing the Difference Engine in the STAC model