Immutable: obj
fool:
Message:
%immutable
in rec: ref String.string
in MX: var integer
foo:
print:
LongMessage: Message
MY: var integer
bar:
M1: ref Message
M2: ref LongMessage