<<>> <> <> <> LocalRegistryAgentBackdoor: CEDAR DEFINITIONS ~ { SetVerbosity: PROC [verbose: BOOL]; }.