ecce /dev/null $1.toal << EOF
g0
heap $1
export $1
endheap $1
:
%C
EOF
ecce /dev/null $1.build << EOF
g0
toal $1.toal
q
:
%C
EOF