Utility code and definitions for timing SML code
Author: Frank Pfenning
