An optimizing Standard ML compiler
