cKinds: obj
int: value
%globals
U: var integer
+:
in V: var int
out R: var int
v: var integer
u: var integer
q1: var int
q2: var int
meter: int
d: var integer
weight: int
unit: var char
X1: var integer
m1: var meter
w1: var weight
speed: integer
speedUp:
in V: var integer
point: Value
x: var integer
move:
in q: var point
S: obj speed
P: val Point