A question I forgot to ask earlier: I tried running doing -diag localRef on a self-compile, but it left the program unchanged because it found threads or conts. I'm fairly confident that mlton isn't using threads, so it must be using continuations somewhere. Any idea where? Besides localRef, aren't we missing out on some stuff in constantPropagation because the Once pass finds conts?