unset tlatest$dir 
set tlatest$dir <obey$dir>
<tlatest$dir>.!tla-expd <tlatest$dir>.out.expandonly <tlatest$dir>.test_mac
<tlatest$dir>.!tla-expd -basic <tlatest$dir>.out.binary1 <tlatest$dir>.test_mac
<tlatest$dir>.!tla-expd -basic -start &9000 <tlatest$dir>.out.binary2 <tlatest$dir>.test_mac 
echo debug { > <tlatest$dir>.out.startbin2 }
echo load <tlatest$dir>.out.binary2 9000 { >> <tlatest$dir>.out.startbin2 }
echo go 9000 { >> <tlatest$dir>.out.startbin2 }
settype <tlatest$dir>.out.startbin2 command
info <tlatest$dir>.out.*
