NoneEx: obj
record:
a: var integer
foo:
in x: var integer
in y: var integer
bar:
in q: var integer
in w: var integer
out v: var integer
R: obj record
S: ref Record
V: var integer