sp {p*init
   (state <s>  ^type state)	
   -(<s> ^reg)
-->
   (<s> ^operator <o> + >)
   (<o> ^name init)
}

sp {a*init
   (state <s> ^operator <o>)
   (<o> ^name init)
-->
   (<s> ^reg north)
   (write |init | (crlf))
}



sp {p*move
   (state <s> ^io.input-link.eater <e>)
   (<e> ^x <x> ^y <y>)
   (<s> ^reg <dir>)
   (^io.input-link.my-location.<dir>.content <>  wall)
-->
   (<s> ^operator <o> +)
   (<o> ^name move)
}

sp {a*move
   (state <s> ^operator <o>)
   (<s> ^reg <dir> )
   (^io.output-link <ol>)
   (<o> ^name move)
-->
   (<ol> ^move.direction <dir>) 
}




sp {p*east
   (state <s> ^io.input-link.eater <e>)
   (<e> ^x <x> ^y <y>)	
   (<s> ^reg  north)
   (^io.input-link.my-location.north.content  wall)
   -->
   (<s> ^operator <o> + )
   (<o> ^name east)
}

sp {p*south
   (state <s> ^io.input-link.eater <e>)
   (<e> ^x <x> ^y <y>)	
   (<s> ^reg  east)
   (^io.input-link.my-location.east.content  wall)
   -->
   (<s> ^operator <o> + )
   (<o> ^name south)
} 

sp {p*west
   (state <s> ^io.input-link.eater <e>)
   (<e> ^x <x> ^y <y>)	
   (<s> ^reg  south)
   (^io.input-link.my-location.south.content  wall)
   -->
   (<s> ^operator <o> + )
   (<o> ^name west)
}

sp {p*north
   (state <s> ^io.input-link.eater <e>)
   (<e> ^x <x> ^y <y>)	
   (<s> ^reg  west)
   (^io.input-link.my-location.west.content  wall)
   -->
   (<s> ^operator <o> + )
   (<o> ^name north)	


}

sp {a*north
   (state <s> ^operator <o>)
   (<s> ^reg <dir> )
   (^io.output-link <ol>)
   (<o> ^name north)
-->
   (<s> ^reg <dir> -)
   (<s> ^reg north)
   (<ol> ^move.direction north)
}


sp {a*east
   (state <s> ^operator <o>)
   (<s> ^reg <dir> )
   (^io.output-link <ol>)
   (<o> ^name east)
   -->
   (<s> ^reg <dir> -)
   (<s> ^reg east)
   (<ol> ^move.direction east) 

}

sp {a*south
   (state <s> ^operator <o>)
   (<s> ^reg <dir> )
   (^io.output-link <ol>)
   (<o> ^name south)
   -->
   (<s> ^reg <dir> -)
   (<s> ^reg south)
   (<ol> ^move.direction south) 

}
sp {a*west
   (state <s> ^operator <o>)
   (<s> ^reg <dir> )
   (^io.output-link <ol>)
   (<o> ^name west)
   -->
   (<s> ^reg <dir> -)
   (<s> ^reg west)
   (<ol> ^move.direction west) 
}

sp {p*halt
   (state <s> ^io.input-link.eater <e>)
    (<s> ^reg <dir> )
   (<e> ^x <x> ^y <y>)	

    -{  -(<e> ^x   << 1 15 >> ) 
    	-( <e> ^y  << 1 15 >> ) } 
    
   (^io.input-link.my-location.<dir>.content  wall)
   -->
   (<s> ^operator <o> + >)
   (<o> ^name halt)	
}






sp {a*halt
   (state <s> ^operator <o>)
   (<s> ^reg <dir> )
   (^io.output-link <ol>)
   (<o> ^name halt)
-->
   (halt)
}