$'main'
 \---0(!x!)---\  
              |
/-------------/
|
|   /-os--1--(a)---m---------\
|   |                        |
|   \                        |
|    \              /-[1000]-/
\--1i----(!a!)(a)0q<
 /                  \
/                   |
|                   |
\                   |
 >-{~}-e(!x!)a(x)---/
/
|
\-(x)o#

$ '~' (a -- b):
 \
 |   /-t-\ #
 |  /     \|
 \-<       |
    \     /|
     \-f-/ @