\section{Abbreviations}
\label{sec:abbreviations}

\begin{description}
	\item[HNF]
		Head normal form, the state of a graph node that cannot be rewritten itself (though it children may).
	\item[ISA]
		Instruction set architecture.
	\item[IT block]
		If-then block, a Thumb construct for conditional execution.
	\item[LSB(s)]
		Least significant bit(s), the bit(s) with the lowest value in a word.
	\item[PC]
		Program counter.
	\item[RTS]
		Run-time system.
		Clean's run-time system ensures that the \clean{Start} node is reduced and printed.
		It also takes care of garbage collecting.
	\item[UAL]
		Unified Assembler Language.
		%todo
\end{description}