tuscheme.sml skeleton