\fbox{\vbox{
\begin{tabular}{ll}                              
($p\:x\:y\:c_e\:c_c$)         & integer arithmetic, $p \in \{+, -, *, /, \%\}$ \\
($p\:x\:y\:c_1\:c_2$)         & integer comparison,
				    $p \in \{<, >, <=,>=\}$ \\
($p\:x\:y\:c$)          & bit operations on integers,
			     $p \in \{<<, >>, \&, |, \hat{~}, \tilde{~}\}$ \\

(char2int $x\:c$)  & convert a character to an integer value \\
(int2char $x\:c$)  & convert an integer to a character value \\

(array \pvec{val} $c$)  & create a mutable array holding $n$ object references \\
(vector \pvec{val} $c$) & create an immutable array \\

(new $n$ {\it init} $c$)       & create a mutable array holding $n$ object \\
                               & references, initialized with {\it init} \\
(\$new $n$ {\it init} $c$)
  & create a mutable byte array holding $n$ simple \\
  & byte values, initialized with {\it init} \\
  
(\arrayget{} $x\:i\:c$)               & array access: indirect indexed load    \\
(\arrayset{} $x\:i\:v\:c$)            & array update: indirect indexed store \\
(\$\arrayget{} $x\:i\:c$)               & byte array access   \\
(\$\arrayset{} $x\:i\:v\:c$)          & byte array update \\

(== $x$                      & case analysis based on object identity with\dots  \\
 \hspace{5mm}\pvec{v}      & values  and\dots              \\
 \hspace{5mm}\pvec{c} [$c_{n+1}$]) & branches (optional else branch)  \\
 
(Y \fun{\pvec{v}\,c}{app})	   & the Y combinator\\

(size $v\:c$)                  & array or byte array size (in slots) \\
(move {\it n src srcOffset dst dstOffset c})     & move array contents \\
(\$move  {\it n src srcOffset dst dstOffset c})  & move bytearray contents \\
(ccall {\it fmt cfn $c_1\:c_2$})                 & C language function call \\

(pushHandler $c_1\:c_2$)   & Install continuation \p{c$_1$} as a new \\
                           & exception handler, continue with \p{c$_2$} \\
(popHandler $c$)       & Remove the topmost exception handler, \\
		       & continue with  \p{c} \\
(raise $x$)            & Raise exception \p{x}
\end{tabular}
}}
