<> <<>> DIRECTORY Buttons, Rope; Unclean: CEDAR DEFINITIONS = { SwapQueuedButtonProcs: PROC[buttonName: Rope.ROPE, miscreant: Buttons.ButtonProc] RETURNS[realProc: Buttons.ButtonProc]; }.