A pure functional version of the tiger language