rm rev.2d
/bin/umodem rev.2d END

       ,..............................|....................................,
       :revAcc                        |                                    :
       :  *==================*        |                                    :
       -->!send [(W,S),(W,E)]!--------#-----------------------+            :
       :  *==================*        v                       |            :
       :         |                  *==============*          |            :
       :         |                  !case N of S, E!--+       |            :
       :         |                  *==============*  |       v            :
       :         |                     |              |  *===========*     :
       :         |                     |              +->!send[(N,E)]!------
       :         |                     v                 *===========*     :
       :         |                  *=======*                              :
       :         |                  !split N!--------------------+         :
       :         |                  *=======*                    |         :
       :         |                     |                         |         :
       :         |                     v                         v         :
       :         |                  *===================*    *==========*  :
       :         +----------------->!send [(Inl(N,W),E)]!--->!use revAcc!---
       :                            *===================*    *==========*  :
       :                                                                   :
       :                                                                   :
       ,...................................................................,






       ,..............................|....................................,
       :rev                           |                                    :
       :                              |                                    :
       :                              v                                    :
       :        *===============*    *==========*                          :
       :        !send[(Inr(),E)]!--->!use revAcc!---------------------------
       :        *===============*    *==========*                          :
       ,...................................................................,

END
verify rev rev.2d