MODULEMain EXPORTSMain ; IMPORT ParseParams, Stdio, Storage, Trestle, VBT, WorkspaceVBT; <* FATAL ANY *> VAR v: VBT.T; BEGIN WITH pp = NEW(ParseParams.T).init(Stdio.stderr) DO IF pp.keywordPresent("-clean") THEN v := WorkspaceVBT.New() ELSE v := Storage.Restore() END END; Trestle.Install(v); Trestle.AwaitDelete(v); Storage.Save(v); END Main.