ohmega
bidirectional
rm mult.2d
/bin/umodem mult.2d plop
,......................|.................,
:plus                  |                 :
: *==================* |                 :
->!send [(W,S),(W,E)]!-#-------------+   :
: *==================* v             v   :
:    |   *==============*  *============*:
:    |   !case N of S, E!->!send [(N,E)]!-
:    |   *==============*  *============*:
:    |         |                         :
:    |         v                         :
:    |     *========*  *================*:
:    +---->!use plus!->!send [(Inl W,E)]!-
:          *========*  *================*:
,........................................,
,............|...........................,
:mult        v            +-----+        :
:    *==================* |     v        :
:    !send [(N,S),(N,E)]!-+    *========*:
:    *==================*    +>!use plus!-
:                    |       | *========*:
:                    v       +-+         :
: *==============*  *========* |         :
->!case W of E, S!->!use mult!-+         :
: *==============*  *========*           :
:  |  *=================*                :
:  +->!send [(Inr (),E)]!-----------------
:     *=================*                :
,........................................,
plop
./verify mult mult.2d