tone Point : CodaTerminal {
     Point(int xx, int yy): x(xx), y(yy) {}
     ref int x;
     ref int y;
};

Example 1: A Point class.