SML+EXC: add a few refs