(* load file for Parser *) use "/home/trantor.19/cg428/www/sml/parser/load.sml"; use "/home/trantor.19/cg428/www/sml/parser/428parse.sml";