<> <> <> DIRECTORY Commander, Richards; RichardsStarter: CEDAR PROGRAM IMPORTS Commander, Richards = BEGIN DragomanStartRichards: Commander.CommandProc = TRUSTED { [] _ Richards.Main[] }; Commander.Register["DragomanStartRichards", DragomanStartRichards, "Starts a single Dragoman simulation of Richards"] END.