> MLton.size does the "right thing" on an IntInf.int, correct? Yes. > I was thinking of putting an assert in setFrontier, which would > assert that the new frontier was never more than the old frontier + > bytes. That's what I ended up with.