anchor.diff:  	Motes -> Motes
       end.
   
  +mote_types(Handler) ->
  +    Handler ! {self(), mote_types},
  +    receive
  +	Types -> Types
  +    end.
  +
  +mote_add(Handler, Type) ->
  +    Handler ! {self(), mote_add, {Type}},
  +    receive
  +	Rsp -> Rsp
  +    end.    
  +
  +mote_del(Handler, Id) ->
  +    Handler ! {self(), mote_del, {Id}},
  +    receive
  +	Rsp -> Rsp
  +    end.
  +
  +mote_get_pos(Handler, Id) ->
  +    Handler ! {self(), mote_get_pos, {Id}},
  +    receive
  +	Pos -> Pos
  +    end.    
  +
  +mote_set_pos(Handler, Id, Pos) ->
  +    {X, Y, Z} = Pos,
  +    Handler ! {self(), mote_set_pos, {Id, X, Y, Z}},
  +    receive
  +	Rsp -> Rsp
  +    end.
  +
   mote_write(Handler, Mote, Data) ->
       Handler ! {self(), mote_write, {Mote, Data}},
       receive
  
positive.code: 	 simulation_step_ms/1,
  	 simulation_step/2,
  	 %% motes
  	 motes/1,
  	 mote_write/3,
  	 mote_listen/2,
  
negative.code: mote_listen(Handler, Mote) ->
      Handler ! {self(), mote_listen, {Mote}},
      receive
  	Rsp -> Rsp
      end.
  
  mote_unlisten(Handler, Mote) ->
      Handler ! {self(), mote_unliste, {Mote}},
      receive
  	Rsp -> Rsp
      end.
  
  mote_hw_listen(Handler, Mote) ->
      Handler ! {self(), mote_hw_listen, {Mote}},
      receive
  	Rsp -> Rsp
      end.
  
  mote_hw_unlisten(Handler, Mote) ->
      Handler ! {self(), mote_hw_unliste, {Mote}},
      receive
  	Rsp -> Rsp
      end.
  
  mote_hw_events(Handler, Mote) ->
  