An optimizing standard ml compiler