<> <> <<>> SmallProg: CEDAR DEFINITIONS = BEGIN DummyFunctionA: PUBLIC PROC [x, y: INT] RETURNS [z: INT]; DummyFunctionB: PUBLIC PROC [x, y: INT] RETURNS [z: INT]; DummyFunctionC: PUBLIC PROC [x, y: INT] RETURNS [z: INT]; END.