ns by their short names as presented to the
assembler rather than their numerical values.
</p>
<p>Each instruction is also listed with a signature, which are the arguments the
instruction expects. There are a handful of instruction signatures, which
combine the arity and type of the instruction. The assembler does not do any
type-checking per closure, but does prevent jumping to invalid instructions and
failure to return or error.
</p>
<h3 id="Notation">Notation
</h3>
<ul><li>The '$' prefix indicates that a