Add new functionality in SML toolkit