1 <rpc-reply <RPCHEADER>>
3 <turing-machine xmlns="http://example.net/turing-machine">
6 <label>separator</label>
17 <label>go home</label>
19 <head-move>left</head-move>
27 <label>write separator</label>
30 <head-move>left</head-move>
39 <label>right summand</label>
46 <label>left summand</label>
53 <label>right end</label>
56 <head-move>left</head-move>
64 <label>final step</label>
73 </transition-function>