DEFINITION MODULE ELib;
TYPE Color = (Red, Green, Blue);
VAR c : Color;
END ELib.