Constructors: obj
go:
Record:
initA:
out R: ref Record
initB:and:
out R: ref Record
print:
X: ref Record
A: var integer
Generator:
out R: ref Record
R: obj Record
S: obj Record.initA -- 98 : b
T: obj Record.initB:and -- 99 : c
U: ref Record
V: obj Generator -- 102: f