<<>> <> <> <> <> MakeDoGrossHack: CEDAR DEFINITIONS ~ { SetOLevel: PROC [high: BOOL]; <> }.