Amusing. They now use MLton style property lists in MLRISC http://cm.bell-labs.com/cm/cs/what/smlnj/compiler-notes/annotations.ps