A native code compiler for the tiger language written in standard ML