DEFINITION MODULE DTypes;
TYPE Vec = ARRAY [0..2] OF INTEGER;
TYPE Point = RECORD x, y : INTEGER END;
PROCEDURE Sum(v : Vec) : INTEGER;
PROCEDURE OriginX(p : Point) : INTEGER;
END DTypes.