<> <> <<>> DIRECTORY SmallProg; SmallProgImpl: CEDAR PROGRAM = BEGIN DummyFunctionA: PUBLIC PROC [x, y: INT] RETURNS [z: INT] = { z _ x+y; }; DummyFunctionB: PUBLIC PROC [x, y: INT] RETURNS [z: INT] = { z _ x*y; }; DummyFunctionC: PUBLIC PROC [x, y: INT] RETURNS [z: INT] = { z _ x*y+(x-y); }; w: INT; w _ DummyFunctionA[1, 2] + DummyFunctionB[2, 3] + DummyFunctionC[3, 4]; END.