-*** This file constructs a control flow of following shape:
-***
-***
-*** firstBlock
-*** / \
-*** / \
-*** |/_ _\|
-*** Block1 Block2 deadBlock
-*** \ | /
-*** \ | /
-*** _\| \ / |/_
-*** nextBlock
-***
-***
-*** This is a program as, e.g.,
-***
-*** if () then
-*** { Jmp label1; } // happens anyways
-*** else
-*** { Jmp label1; } // happens anyways
-*** label1:
-*** return();
-*** Jmp label1;
-***
+* This file constructs a control flow of following shape:
+*
+*
+* firstBlock
+* / \
+* / \
+* |/_ _\|
+* Block1 Block2 deadBlock
+* \ | /
+* \ | /
+* _\| \ / |/_
+* nextBlock
+*
+*
+* This is a program as, e.g.,
+*
+* if () then
+* { Jmp label1; } // happens anyways
+* else
+* { Jmp label1; } // happens anyways
+* label1:
+* return();
+* Jmp label1;
+*