<<>> <> <> <> <<>> DIRECTORY IntCodeDefs; MimBodyCorrect: CEDAR DEFINITIONS = BEGIN FixBodies: PROC [bodies: IntCodeDefs.NodeList]; END.