usr/lib/smlnj/lib