QuaValue: obj
Point: value
in x: var integer
in y: var integer
print:
ColorPoint: Point
c: var integer
Record:
name: obj String.String
P1: val Point(,)
P2: var Point(,)
C: var ColorPoint(,)
S: ref Record