 .-TYPECHECK(MAGNITUDE,REGISTER)-----------------.
>>-+-----------------------------------------------+-----------><
+-+-------------+-------------------------------+
| '-NOTYPECHECK-' |
| .-,-----------------------. |
| V .-MAGNITUDE-------. | (1) |
'-TYPECHECK(---+-+-----------------+-+-+------)-'
| '-+-------------+-' |
| '-NOMAGNITUDE-' |
| .-REGISTER-------. |
'-+----------------+--'
'-+------------+-'
'-NOREGISTER-'
|