...[App98].¹

We use $\oplus$ to stand for an arbitrary binary operator.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... value.²

Try, catch, and finally blocks are, of course, taken into consideration when a bytecode athrow is translated to an IR THROW.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.