Standard ML mode.