<> <> GenSym: CEDAR DEFINITIONS = BEGIN Gen: PROCEDURE [prefix: CHARACTER _ 'A] RETURNS [ATOM]; END.