+21 : //Endif label
+\end{lstlisting}
+
+The factorial function can be expressed as an \gls{mTask}-\gls{Task} and uses
+the \CI{sds} and the \CI{return} functionality. Typically this \gls{Task} is
+called with the \CI{OnInterval} scheduling strategy and will calculate the
+factorial after which is will return. The following listings shows the actual
+\gls{mTask} and the generated messages followed by the actual bytecode in a
+readable form.
+
+\begin{lstlisting}[caption={Factorial as an \gls{mTask}-\gls{Task}}]
+factorial :: Int -> Main (ByteCode () Stmt)
+factorial i = sds \y=i In
+ namedsds \x=1 Named "result" In
+ {main =
+ IF (y <=. lit 1) (
+ pub x :. retrn
+ ) (
+ x =. x *. y :. y =. y -. lit 1
+ )}
+
+//Generating the actual messages with:
+Start = fst $ toMessages (OnInterval 500) (factorial 5) zero
+
+//The output will be
+//[MTSds 2 (BCValue 5), MTSds 1 (BCValue 1), MTTask (OnInterval 500) ...]
+\end{lstlisting}
+
+\begin{lstlisting}[label={lst:actualbc},%
+ caption={The resulting bytecode for the factorial function},language=C]
+ 0-2 : BCSdsFetch 1
+ 3-6 : BCPush (Int 1)
+ 7 : BCLeq
+ 8-9 : BCJmpF 16 //Jump to else
+10-12: BCSdsPublish 2 ("result")
+13 : BCReturn
+14-15: BCJmp 37 //Jump to endif
+16-18: BCSdsFetch 2 ("result") //Else label
+19-21: BCSdsFetch 1
+22 : BCMul
+23-25: BCSdsStore 2 ("result")
+26-28: BCSdsFetch 1
+29-32: BCPush (Int 1)
+33 : BCSub
+34-36: BCSdsStore 1
+37 : //Endif label