I like the MLton usage message. Is the default always listed first? If I use -v2, does it still fit (79 columns max)? I guess I would have included -detect-overflow as a non-compiler-hacker flag. Also, you didn't include Int.div and Int.quot, which can overflow in the most negative over -1 case.