Virtual: obj
ch: var integer
VirtualP:
int2int:
in e: var integer
out V: var integer
map:
f:< int2int
in V: var integer
R: var integer
Hest:
Araber: Hest
Fjong:
V:< Hest
Song: Fjong
V:: Araber
S: obj
foolVirt:
WH:< Hest
ActualF: int2int
go:
Foo:
x: var integer
msg1:<
y: var integer
Bar: Foo
msg1::
S: obj Bar