diff --git a/src/dk/camelot64/kickc/CompileLog.java b/src/dk/camelot64/kickc/CompileLog.java
new file mode 100644
index 000000000..805e27082
--- /dev/null
+++ b/src/dk/camelot64/kickc/CompileLog.java
@@ -0,0 +1,25 @@
+package dk.camelot64.kickc;
+
+/**  Log of actions & results during compile*/
+public class CompileLog {
+
+   StringBuilder log;
+
+   public CompileLog() {
+      this.log = new StringBuilder();
+   }
+
+   public void append(String msg) {
+      log.append(msg);
+      log.append("\n");
+   }
+
+   public StringBuilder getLog() {
+      return log;
+   }
+
+   @Override
+   public String toString() {
+      return log.toString();
+   }
+}
diff --git a/src/dk/camelot64/kickc/Compiler.java b/src/dk/camelot64/kickc/Compiler.java
index ababa55ff..744cc0008 100644
--- a/src/dk/camelot64/kickc/Compiler.java
+++ b/src/dk/camelot64/kickc/Compiler.java
@@ -17,11 +17,13 @@ public class Compiler {
       private AsmProgram asmProgram;
       private ControlFlowGraph graph;
       private Scope symbols;
+      private CompileLog log;
 
-      public CompilationResult(AsmProgram asmProgram, ControlFlowGraph graph, Scope symbols) {
+      public CompilationResult(AsmProgram asmProgram, ControlFlowGraph graph, Scope symbols, CompileLog log) {
          this.asmProgram = asmProgram;
          this.graph = graph;
          this.symbols = symbols;
+         this.log = log;
       }
 
       public AsmProgram getAsmProgram() {
@@ -35,10 +37,15 @@ public class Compiler {
       public Scope getSymbols() {
          return symbols;
       }
+
+      public CompileLog getLog() {
+         return log;
+      }
    }
 
    public CompilationResult compile(final CharStream input) throws IOException {
-      System.out.println(input.toString());
+      CompileLog log = new CompileLog();
+      log.append(input.toString());
       KickCLexer lexer = new KickCLexer(input);
       KickCParser parser = new KickCParser(new CommonTokenStream(lexer));
       parser.setBuildParseTree(true);
@@ -49,50 +56,50 @@ public class Compiler {
          }
       });
       KickCParser.FileContext file = parser.file();
-      Pass1GenerateStatementSequence pass1GenerateStatementSequence = new Pass1GenerateStatementSequence();
+      Pass1GenerateStatementSequence pass1GenerateStatementSequence = new Pass1GenerateStatementSequence(log);
       pass1GenerateStatementSequence.generate(file);
       StatementSequence statementSequence = pass1GenerateStatementSequence.getSequence();
       Scope programScope = pass1GenerateStatementSequence.getProgramScope();
       Pass1TypeInference pass1TypeInference = new Pass1TypeInference();
       pass1TypeInference.inferTypes(statementSequence, programScope);
 
-      System.out.println("PROGRAM");
-      System.out.println(statementSequence.toString());
-      System.out.println("SYMBOLS");
-      System.out.println(programScope.getSymbolTableContents());
+      log.append("PROGRAM");
+      log.append(statementSequence.toString());
+      log.append("SYMBOLS");
+      log.append(programScope.getSymbolTableContents());
 
       Pass1GenerateControlFlowGraph pass1GenerateControlFlowGraph = new Pass1GenerateControlFlowGraph(programScope);
       ControlFlowGraph controlFlowGraph = pass1GenerateControlFlowGraph.generate(statementSequence);
-      System.out.println("INITIAL CONTROL FLOW GRAPH");
-      System.out.println(controlFlowGraph.toString());
+      log.append("INITIAL CONTROL FLOW GRAPH");
+      log.append(controlFlowGraph.toString());
 
       Pass1ProcedureCallParameters pass1ProcedureCallParameters =
             new Pass1ProcedureCallParameters(programScope, controlFlowGraph);
       controlFlowGraph = pass1ProcedureCallParameters.generate();
-      System.out.println("CONTROL FLOW GRAPH WITH ASSIGNMENT CALL");
-      System.out.println(controlFlowGraph.toString());
+      log.append("CONTROL FLOW GRAPH WITH ASSIGNMENT CALL");
+      log.append(controlFlowGraph.toString());
 
       Pass1GenerateSingleStaticAssignmentForm pass1GenerateSingleStaticAssignmentForm =
-            new Pass1GenerateSingleStaticAssignmentForm(programScope, controlFlowGraph);
+            new Pass1GenerateSingleStaticAssignmentForm(log, programScope, controlFlowGraph);
       pass1GenerateSingleStaticAssignmentForm.generate();
 
-      System.out.println("CONTROL FLOW GRAPH SSA");
-      System.out.println(controlFlowGraph.toString());
+      log.append("CONTROL FLOW GRAPH SSA");
+      log.append(controlFlowGraph.toString());
 
       Pass1ProcedureCallsReturnValue pass1ProcedureCallsReturnValue =
             new Pass1ProcedureCallsReturnValue(programScope, controlFlowGraph);
       controlFlowGraph = pass1ProcedureCallsReturnValue.generate();
-      System.out.println("CONTROL FLOW GRAPH WITH ASSIGNMENT CALL & RETURN");
-      System.out.println(controlFlowGraph.toString());
+      log.append("CONTROL FLOW GRAPH WITH ASSIGNMENT CALL & RETURN");
+      log.append(controlFlowGraph.toString());
 
       List<Pass2SsaOptimization> optimizations = new ArrayList<>();
-      optimizations.add(new Pass2CullEmptyBlocks(controlFlowGraph, programScope));
-      optimizations.add(new Pass2ConstantPropagation(controlFlowGraph, programScope));
-      optimizations.add(new Pass2ConstantAdditionElimination(controlFlowGraph, programScope));
-      optimizations.add(new Pass2AliasElimination(controlFlowGraph, programScope));
-      optimizations.add(new Pass2RedundantPhiElimination(controlFlowGraph, programScope));
-      optimizations.add(new Pass2SelfPhiElimination(controlFlowGraph, programScope));
-      optimizations.add(new Pass2ConditionalJumpSimplification(controlFlowGraph, programScope));
+      optimizations.add(new Pass2CullEmptyBlocks(controlFlowGraph, programScope, log));
+      optimizations.add(new Pass2ConstantPropagation(controlFlowGraph, programScope, log));
+      optimizations.add(new Pass2ConstantAdditionElimination(controlFlowGraph, programScope, log));
+      optimizations.add(new Pass2AliasElimination(controlFlowGraph, programScope, log));
+      optimizations.add(new Pass2RedundantPhiElimination(controlFlowGraph, programScope, log));
+      optimizations.add(new Pass2SelfPhiElimination(controlFlowGraph, programScope, log));
+      optimizations.add(new Pass2ConditionalJumpSimplification(controlFlowGraph, programScope, log));
 
       List<Pass2SsaAssertion> assertions = new ArrayList<>();
       assertions.add(new Pass2AssertSymbols(controlFlowGraph, programScope));
@@ -107,10 +114,10 @@ public class Compiler {
          for (Pass2SsaOptimization optimization : optimizations) {
             boolean stepOptimized = optimization.optimize();
             if (stepOptimized) {
-               System.out.println("Succesful SSA optimization "+optimization);
+               log.append("Succesful SSA optimization "+optimization+"");
                ssaOptimized = true;
-               System.out.println("CONTROL FLOW GRAPH");
-               System.out.println(controlFlowGraph.toString());
+               log.append("CONTROL FLOW GRAPH");
+               log.append(controlFlowGraph.toString());
             }
          }
       }
@@ -122,27 +129,27 @@ public class Compiler {
       Pass3CodeGeneration pass3CodeGeneration = new Pass3CodeGeneration(controlFlowGraph, programScope);
       AsmProgram asmProgram = pass3CodeGeneration.generate();
 
-      System.out.println("INITIAL ASM");
-      System.out.println(asmProgram.toString());
+      log.append("INITIAL ASM");
+      log.append(asmProgram.toString());
 
       List<Pass4AsmOptimization> pass4Optimizations = new ArrayList<>();
-      pass4Optimizations.add(new Pass4NextJumpElimination(asmProgram));
-      pass4Optimizations.add(new Pass4UnnecesaryLoadElimination(asmProgram));
+      pass4Optimizations.add(new Pass4NextJumpElimination(asmProgram, log));
+      pass4Optimizations.add(new Pass4UnnecesaryLoadElimination(asmProgram, log));
       boolean asmOptimized = true;
       while(asmOptimized) {
          asmOptimized = false;
          for (Pass4AsmOptimization optimization : pass4Optimizations) {
             boolean stepOtimized = optimization.optimize();
             if(stepOtimized) {
-               System.out.println("Succesful ASM optimization "+optimization);
+               log.append("Succesful ASM optimization "+optimization);
                asmOptimized = true;
-               System.out.println("ASSEMBLER");
-               System.out.println(asmProgram.toString());
+               log.append("ASSEMBLER");
+               log.append(asmProgram.toString());
             }
          }
       }
 
-      return new CompilationResult(asmProgram, controlFlowGraph, programScope);
+      return new CompilationResult(asmProgram, controlFlowGraph, programScope, log);
    }
 
 }
diff --git a/src/dk/camelot64/kickc/asm/AsmFragment.java b/src/dk/camelot64/kickc/asm/AsmFragment.java
index 4523aba8c..4ee24d2fe 100644
--- a/src/dk/camelot64/kickc/asm/AsmFragment.java
+++ b/src/dk/camelot64/kickc/asm/AsmFragment.java
@@ -10,6 +10,7 @@ import java.io.IOException;
 import java.io.InputStream;
 import java.net.URL;
 import java.util.HashMap;
+import java.util.LinkedHashMap;
 import java.util.Map;
 
 /**
@@ -33,26 +34,26 @@ public class AsmFragment {
    private String signature;
 
    public AsmFragment(StatementConditionalJump conditionalJump, ControlFlowBlock block, Scope symbols, ControlFlowGraph graph) {
-      this.bindings = new HashMap<>();
+      this.bindings = new LinkedHashMap<>();
       this.symbols = symbols;
       String conditionalJumpSignature = conditionalJumpSignature(conditionalJump, block, graph);
       setSignature(conditionalJumpSignature);
    }
 
    public AsmFragment(StatementAssignment assignment, Scope symbols) {
-      this.bindings = new HashMap<>();
+      this.bindings = new LinkedHashMap<>();
       this.symbols = symbols;
       setSignature(assignmentSignature(assignment.getLValue(), assignment.getRValue1(), assignment.getOperator(), assignment.getRValue2()));
    }
 
    public AsmFragment(LValue lValue, RValue rValue, Scope symbols) {
-      this.bindings = new HashMap<>();
+      this.bindings = new LinkedHashMap<>();
       this.symbols = symbols;
       setSignature(assignmentSignature(lValue, null, null, rValue));
    }
 
    public AsmFragment(StatementAssignment assignment, StatementAssignment assignmentAlu, Scope symbols) {
-      this.bindings = new HashMap<>();
+      this.bindings = new LinkedHashMap<>();
       this.symbols = symbols;
       setSignature(assignmentWithAluSignature(assignment, assignmentAlu));
 
diff --git a/src/dk/camelot64/kickc/asm/parser/AsmProgramStaticRegisterValues.java b/src/dk/camelot64/kickc/asm/parser/AsmProgramStaticRegisterValues.java
index 0a5991350..ca25a2c3b 100644
--- a/src/dk/camelot64/kickc/asm/parser/AsmProgramStaticRegisterValues.java
+++ b/src/dk/camelot64/kickc/asm/parser/AsmProgramStaticRegisterValues.java
@@ -3,6 +3,7 @@ package dk.camelot64.kickc.asm.parser;
 import dk.camelot64.kickc.asm.*;
 
 import java.util.HashMap;
+import java.util.LinkedHashMap;
 import java.util.Map;
 
 /**
@@ -16,7 +17,7 @@ public class AsmProgramStaticRegisterValues {
 
    public AsmProgramStaticRegisterValues(AsmProgram program) {
       this.program = program;
-      this.values = new HashMap<>();
+      this.values = new LinkedHashMap<>();
       initValues();
    }
 
diff --git a/src/dk/camelot64/kickc/icl/Pass1GenerateSingleStaticAssignmentForm.java b/src/dk/camelot64/kickc/icl/Pass1GenerateSingleStaticAssignmentForm.java
index 00341f068..0886949b6 100644
--- a/src/dk/camelot64/kickc/icl/Pass1GenerateSingleStaticAssignmentForm.java
+++ b/src/dk/camelot64/kickc/icl/Pass1GenerateSingleStaticAssignmentForm.java
@@ -1,6 +1,8 @@
 package dk.camelot64.kickc.icl;
 
-import java.util.HashMap;
+import dk.camelot64.kickc.CompileLog;
+
+import java.util.LinkedHashMap;
 import java.util.Map;
 
 /**
@@ -10,10 +12,12 @@ import java.util.Map;
  */
 public class Pass1GenerateSingleStaticAssignmentForm {
 
+   private CompileLog log;
    private Scope symbols;
    private ControlFlowGraph controlFlowGraph;
 
-   public Pass1GenerateSingleStaticAssignmentForm(Scope symbols, ControlFlowGraph controlFlowGraph) {
+   public Pass1GenerateSingleStaticAssignmentForm(CompileLog log, Scope symbols, ControlFlowGraph controlFlowGraph) {
+      this.log = log;
       this.symbols = symbols;
       this.controlFlowGraph = controlFlowGraph;
    }
@@ -23,7 +27,7 @@ public class Pass1GenerateSingleStaticAssignmentForm {
       versionAllUses();
       boolean done;
       do {
-         System.out.println("Completing Phi functions...");
+         log.append("Completing Phi functions...");
          done = completePhiFunctions();
       } while (!done);
    }
@@ -63,9 +67,9 @@ public class Pass1GenerateSingleStaticAssignmentForm {
    private void versionAllUses() {
       for (ControlFlowBlock block : controlFlowGraph.getAllBlocks()) {
          // Newest version of variables in the block.
-         Map<VariableUnversioned, VariableVersion> blockVersions = new HashMap<>();
+         Map<VariableUnversioned, VariableVersion> blockVersions = new LinkedHashMap<>();
          // New phi functions introduced in the block to create versions of variables.
-         Map<VariableUnversioned, VariableVersion> blockNewPhis = new HashMap<>();
+         Map<VariableUnversioned, VariableVersion> blockNewPhis = new LinkedHashMap<>();
          for (Statement statement : block.getStatements()) {
             if(statement instanceof StatementReturn) {
                StatementReturn statementReturn = (StatementReturn) statement;
@@ -163,7 +167,7 @@ public class Pass1GenerateSingleStaticAssignmentForm {
     * false if new phis were added, meaning another iteration is needed.
     */
    private boolean completePhiFunctions() {
-      Map<Label, Map<VariableUnversioned, VariableVersion>> newPhis = new HashMap<>();
+      Map<Label, Map<VariableUnversioned, VariableVersion>> newPhis = new LinkedHashMap<>();
       Map<Label, Map<VariableUnversioned, VariableVersion>> symbolMap = buildSymbolMap();
       for (ControlFlowBlock block : this.controlFlowGraph.getAllBlocks()) {
          for (Statement statement : block.getStatements()) {
@@ -183,7 +187,7 @@ public class Pass1GenerateSingleStaticAssignmentForm {
                         // No previous symbol found in predecessor block. Look in new phi functions.
                         Map<VariableUnversioned, VariableVersion> predecessorNewPhis = newPhis.get(predecessorLabel);
                         if (predecessorNewPhis == null) {
-                           predecessorNewPhis = new HashMap<>();
+                           predecessorNewPhis = new LinkedHashMap<>();
                            newPhis.put(predecessorLabel, predecessorNewPhis);
                         }
                         previousSymbol = predecessorNewPhis.get(unversioned);
@@ -216,7 +220,7 @@ public class Pass1GenerateSingleStaticAssignmentForm {
     * Maps Control Flow Block Label -> ( Unversioned Symbol -> Versioned Symbol) for all relevant symbols.
     */
    private Map<Label, Map<VariableUnversioned, VariableVersion>> buildSymbolMap() {
-      Map<Label, Map<VariableUnversioned, VariableVersion>> symbolMap = new HashMap<>();
+      Map<Label, Map<VariableUnversioned, VariableVersion>> symbolMap = new LinkedHashMap<>();
       for (ControlFlowBlock block : this.controlFlowGraph.getAllBlocks()) {
          for (Statement statement : block.getStatements()) {
             if (statement instanceof StatementAssignment) {
@@ -228,7 +232,7 @@ public class Pass1GenerateSingleStaticAssignmentForm {
                   VariableUnversioned unversioned = versioned.getVersionOf();
                   Map<VariableUnversioned, VariableVersion> blockMap = symbolMap.get(label);
                   if (blockMap == null) {
-                     blockMap = new HashMap<>();
+                     blockMap = new LinkedHashMap<>();
                      symbolMap.put(label, blockMap);
                   }
                   blockMap.put(unversioned, versioned);
@@ -240,7 +244,7 @@ public class Pass1GenerateSingleStaticAssignmentForm {
                Label label = block.getLabel();
                Map<VariableUnversioned, VariableVersion> blockMap = symbolMap.get(label);
                if (blockMap == null) {
-                  blockMap = new HashMap<>();
+                  blockMap = new LinkedHashMap<>();
                   symbolMap.put(label, blockMap);
                }
                blockMap.put(unversioned, versioned);
@@ -253,7 +257,7 @@ public class Pass1GenerateSingleStaticAssignmentForm {
                   VariableUnversioned unversioned = versioned.getVersionOf();
                   Map<VariableUnversioned, VariableVersion> blockMap = symbolMap.get(label);
                   if (blockMap == null) {
-                     blockMap = new HashMap<>();
+                     blockMap = new LinkedHashMap<>();
                      symbolMap.put(label, blockMap);
                   }
                   blockMap.put(unversioned, versioned);
diff --git a/src/dk/camelot64/kickc/icl/Pass1GenerateStatementSequence.java b/src/dk/camelot64/kickc/icl/Pass1GenerateStatementSequence.java
index 1920f64af..857456f59 100644
--- a/src/dk/camelot64/kickc/icl/Pass1GenerateStatementSequence.java
+++ b/src/dk/camelot64/kickc/icl/Pass1GenerateStatementSequence.java
@@ -1,5 +1,6 @@
 package dk.camelot64.kickc.icl;
 
+import dk.camelot64.kickc.CompileLog;
 import dk.camelot64.kickc.parser.KickCBaseVisitor;
 import dk.camelot64.kickc.parser.KickCParser;
 import org.antlr.v4.runtime.ParserRuleContext;
@@ -14,11 +15,13 @@ import java.util.Stack;
  */
 public class Pass1GenerateStatementSequence extends KickCBaseVisitor<Object> {
 
+   private CompileLog log;
    private Scope programScope;
    private Stack<Scope> scopeStack;
    private StatementSequence sequence;
 
-   public Pass1GenerateStatementSequence() {
+   public Pass1GenerateStatementSequence(CompileLog log) {
+      this.log = log;
       this.programScope = new Scope();
       this.scopeStack = new Stack<>();
       scopeStack.push(programScope);
@@ -214,7 +217,7 @@ public class Pass1GenerateStatementSequence extends KickCBaseVisitor<Object> {
    @Override
    public Void visitStmtDeclaration(KickCParser.StmtDeclarationContext ctx) {
       if (ctx.getChild(0).getText().equals("const")) {
-         System.out.println("Const!" + ctx.getText());
+         log.append("Const!" + ctx.getText());
       }
       SymbolType type = (SymbolType) visit(ctx.typeDecl());
       VariableUnversioned lValue = getCurrentSymbols().addVariable(ctx.NAME().getText(), type);
@@ -300,7 +303,7 @@ public class Pass1GenerateStatementSequence extends KickCBaseVisitor<Object> {
 
    @Override
    public RValue visitExprCast(KickCParser.ExprCastContext ctx) {
-      System.out.println("Cast type ignored!");
+      log.append("Cast type ignored!");
       return (RValue) visit(ctx.expr());
    }
 
@@ -449,7 +452,7 @@ public class Pass1GenerateStatementSequence extends KickCBaseVisitor<Object> {
          for (PrePostModifier mod : modifiers) {
             Statement stmt = new StatementAssignment((LValue) mod.child, mod.operator, mod.child);
             parser.sequence.addStatement(stmt);
-            System.out.println("Adding pre/post-modifier "+stmt);
+            parser.log.append("Adding pre/post-modifier "+stmt);
          }
       }
 
diff --git a/src/dk/camelot64/kickc/icl/Pass2AliasElimination.java b/src/dk/camelot64/kickc/icl/Pass2AliasElimination.java
index 4c09b8164..1cd0f59d2 100644
--- a/src/dk/camelot64/kickc/icl/Pass2AliasElimination.java
+++ b/src/dk/camelot64/kickc/icl/Pass2AliasElimination.java
@@ -1,5 +1,7 @@
 package dk.camelot64.kickc.icl;
 
+import dk.camelot64.kickc.CompileLog;
+
 import java.util.*;
 
 /**
@@ -7,8 +9,8 @@ import java.util.*;
  */
 public class Pass2AliasElimination extends Pass2SsaOptimization {
 
-   public Pass2AliasElimination(ControlFlowGraph graph, Scope scope) {
-      super(graph, scope);
+   public Pass2AliasElimination(ControlFlowGraph graph, Scope scope, CompileLog log) {
+      super(graph, scope, log);
    }
 
 
@@ -28,7 +30,7 @@ public class Pass2AliasElimination extends Pass2SsaOptimization {
          for (Variable var : aliasSet.getEliminateVars()) {
             str.append(var + " ");
          }
-         System.out.println("Alias " + str);
+         log.append("Alias " + str);
       }
       return (aliases.size() > 0);
    }
@@ -81,7 +83,7 @@ public class Pass2AliasElimination extends Pass2SsaOptimization {
       }
 
       public Map<Variable, Variable> getReplacements() {
-         HashMap<Variable, Variable> replacements = new HashMap<>();
+         HashMap<Variable, Variable> replacements = new LinkedHashMap<>();
          for (AliasSet aliasSet : aliases) {
             Variable keepVar = aliasSet.getKeepVar();
             for (Variable var : aliasSet.getEliminateVars()) {
@@ -232,7 +234,7 @@ public class Pass2AliasElimination extends Pass2SsaOptimization {
                   for (StatementPhi.PreviousSymbol previousSymbol : phi.getPreviousVersions()) {
                      RValue phiRValue = previousSymbol.getRValue();
                      if (aliasSet.contains(phiRValue)) {
-                        System.out.println("Alias candidate removed " + phiRValue);
+                        log.append("Alias candidate removed " + phiRValue);
                         aliasSet.remove(phiRValue);
                         break;
                      }
diff --git a/src/dk/camelot64/kickc/icl/Pass2ConditionalJumpSimplification.java b/src/dk/camelot64/kickc/icl/Pass2ConditionalJumpSimplification.java
index 4d99063d6..36eb08d0b 100644
--- a/src/dk/camelot64/kickc/icl/Pass2ConditionalJumpSimplification.java
+++ b/src/dk/camelot64/kickc/icl/Pass2ConditionalJumpSimplification.java
@@ -1,5 +1,7 @@
 package dk.camelot64.kickc.icl;
 
+import dk.camelot64.kickc.CompileLog;
+
 import java.util.ArrayList;
 import java.util.List;
 import java.util.Map;
@@ -11,8 +13,8 @@ public class Pass2ConditionalJumpSimplification extends Pass2SsaOptimization {
 
    private Map<Variable, List<Statement>> allUsages;
 
-   public Pass2ConditionalJumpSimplification(ControlFlowGraph graph, Scope scope) {
-      super(graph, scope);
+   public Pass2ConditionalJumpSimplification(ControlFlowGraph graph, Scope scope, CompileLog log) {
+      super(graph, scope, log);
    }
 
    /**
@@ -55,7 +57,7 @@ public class Pass2ConditionalJumpSimplification extends Pass2SsaOptimization {
                         conditionalJump.setOperator(conditionAssignment.getOperator());
                         conditionalJump.setRValue2(conditionAssignment.getRValue2());
                         simpleConditionVars.add(conditionVar);
-                        System.out.println("Simple Condition " + conditionVar + " " + conditionalJump);
+                        log.append("Simple Condition " + conditionVar + " " + conditionalJump);
                         break;
                         default:
                      }
diff --git a/src/dk/camelot64/kickc/icl/Pass2ConstantAdditionElimination.java b/src/dk/camelot64/kickc/icl/Pass2ConstantAdditionElimination.java
index ed9a760bd..be1e86d7b 100644
--- a/src/dk/camelot64/kickc/icl/Pass2ConstantAdditionElimination.java
+++ b/src/dk/camelot64/kickc/icl/Pass2ConstantAdditionElimination.java
@@ -1,5 +1,7 @@
 package dk.camelot64.kickc.icl;
 
+import dk.camelot64.kickc.CompileLog;
+
 import java.util.HashMap;
 import java.util.Map;
 
@@ -17,8 +19,8 @@ public class Pass2ConstantAdditionElimination extends Pass2SsaOptimization {
 
    private Map<Variable, Integer> usages;
 
-   public Pass2ConstantAdditionElimination(ControlFlowGraph graph, Scope scope) {
-      super(graph, scope);
+   public Pass2ConstantAdditionElimination(ControlFlowGraph graph, Scope scope, CompileLog log) {
+      super(graph, scope, log);
    }
 
    /**
@@ -64,7 +66,7 @@ public class Pass2ConstantAdditionElimination extends Pass2SsaOptimization {
          ConstantInteger idxConstant = (ConstantInteger) pointerDereferenceIndexed.getIndex();
          int newPtr = ptrConstant.getNumber() + idxConstant.getNumber();
          assignment.setLValue(new PointerDereferenceSimple(new ConstantInteger(newPtr)));
-         System.out.println("Consolidated assigned array index constant in assignment " + assignment.getLValue());
+         log.append("Consolidated assigned array index constant in assignment " + assignment.getLValue());
          return true;
       }
       if(pointerDereferenceIndexed.getPointer() instanceof ConstantInteger && pointerDereferenceIndexed.getIndex() instanceof Variable) {
@@ -74,7 +76,7 @@ public class Pass2ConstantAdditionElimination extends Pass2SsaOptimization {
             ConstantInteger ptrConstant = (ConstantInteger) pointerDereferenceIndexed.getPointer();
             int newPtr = ptrConstant.getNumber() + consolidated.getNumber();
             pointerDereferenceIndexed.setPointer(new ConstantInteger(newPtr));
-            System.out.println("Consolidated assigned array index constant in assignment " + assignment.getLValue());
+            log.append("Consolidated assigned array index constant in assignment " + assignment.getLValue());
             return true;
          }
       }
@@ -89,7 +91,7 @@ public class Pass2ConstantAdditionElimination extends Pass2SsaOptimization {
          assignment.setRValue1(null);
          assignment.setOperator(new Operator("*"));
          assignment.setRValue2(new ConstantInteger(newPtr));
-         System.out.println("Consolidated referenced array index constant in assignment " + assignment.getLValue());
+         log.append("Consolidated referenced array index constant in assignment " + assignment.getLValue());
          return true;
       }
       if (assignment.getRValue1() instanceof ConstantInteger && assignment.getRValue2() instanceof Variable) {
@@ -99,7 +101,7 @@ public class Pass2ConstantAdditionElimination extends Pass2SsaOptimization {
             ConstantInteger ptrConstant = (ConstantInteger) assignment.getRValue1();
             int newPtr = ptrConstant.getNumber() + consolidated.getNumber();
             assignment.setRValue1(new ConstantInteger(newPtr));
-            System.out.println("Consolidated referenced array index constant in assignment " + assignment.getLValue());
+            log.append("Consolidated referenced array index constant in assignment " + assignment.getLValue());
             return true;
          }
       }
@@ -113,7 +115,7 @@ public class Pass2ConstantAdditionElimination extends Pass2SsaOptimization {
          if (consolidated != null) {
             ConstantInteger const1 = (ConstantInteger) assignment.getRValue1();
             assignment.setRValue1(new ConstantInteger(const1.getNumber() + consolidated.getNumber()));
-            System.out.println("Consolidated constant in assignment " + assignment.getLValue());
+            log.append("Consolidated constant in assignment " + assignment.getLValue());
             return true;
          }
       } else if (assignment.getRValue1() instanceof Variable && assignment.getRValue2() instanceof ConstantInteger) {
@@ -128,7 +130,7 @@ public class Pass2ConstantAdditionElimination extends Pass2SsaOptimization {
             } else {
                assignment.setRValue2(new ConstantInteger(newNumber));
             }
-            System.out.println("Consolidated constant in assignment " + assignment.getLValue());
+            log.append("Consolidated constant in assignment " + assignment.getLValue());
             return true;
          }
       }
@@ -143,7 +145,7 @@ public class Pass2ConstantAdditionElimination extends Pass2SsaOptimization {
     */
    private ConstantInteger consolidateSubConstants(Variable variable) {
       if(getUsages(variable) >1) {
-         System.out.println("Multiple usages for variable. Not optimizing sub-constant "+variable);
+         log.append("Multiple usages for variable. Not optimizing sub-constant "+variable);
          return null;
       }
       StatementAssignment assignment = getGraph().getAssignment(variable);
diff --git a/src/dk/camelot64/kickc/icl/Pass2ConstantPropagation.java b/src/dk/camelot64/kickc/icl/Pass2ConstantPropagation.java
index 757613d97..0d953ff08 100644
--- a/src/dk/camelot64/kickc/icl/Pass2ConstantPropagation.java
+++ b/src/dk/camelot64/kickc/icl/Pass2ConstantPropagation.java
@@ -1,13 +1,16 @@
 package dk.camelot64.kickc.icl;
 
+import dk.camelot64.kickc.CompileLog;
+
 import java.util.HashMap;
+import java.util.LinkedHashMap;
 import java.util.Map;
 
 /** Compiler Pass propagating constants in expressions eliminating constant variables */
 public class Pass2ConstantPropagation extends Pass2SsaOptimization {
 
-   public Pass2ConstantPropagation(ControlFlowGraph graph, Scope scope) {
-      super(graph, scope);
+   public Pass2ConstantPropagation(ControlFlowGraph graph, Scope scope, CompileLog log) {
+      super(graph, scope, log);
    }
 
    /**
@@ -19,7 +22,7 @@ public class Pass2ConstantPropagation extends Pass2SsaOptimization {
       final Map<Variable, Constant> constants = findConstantVariables();
       for (Variable constantVar : constants.keySet()) {
          Constant constantValue = constants.get(constantVar);
-         System.out.println("Constant " + constantVar + " " + constantValue);
+         log.append("Constant " + constantVar + " " + constantValue);
       }
       removeAssignments(constants.keySet());
       deleteSymbols(constants.keySet());
@@ -32,7 +35,7 @@ public class Pass2ConstantPropagation extends Pass2SsaOptimization {
     * @return Map from Variable to the Constant value
     */
    private Map<Variable, Constant> findConstantVariables() {
-      final Map<Variable, Constant> constants = new HashMap<>();
+      final Map<Variable, Constant> constants = new LinkedHashMap<>();
       ControlFlowGraphBaseVisitor<Void> visitor = new ControlFlowGraphBaseVisitor<Void>() {
          @Override
          public Void visitAssignment(StatementAssignment assignment) {
diff --git a/src/dk/camelot64/kickc/icl/Pass2CullEmptyBlocks.java b/src/dk/camelot64/kickc/icl/Pass2CullEmptyBlocks.java
index 71b9748ea..923a266b1 100644
--- a/src/dk/camelot64/kickc/icl/Pass2CullEmptyBlocks.java
+++ b/src/dk/camelot64/kickc/icl/Pass2CullEmptyBlocks.java
@@ -1,12 +1,14 @@
 package dk.camelot64.kickc.icl;
 
+import dk.camelot64.kickc.CompileLog;
+
 import java.util.*;
 
 /** Pass that culls empty control flow blocks from the program */
 public class Pass2CullEmptyBlocks extends Pass2SsaOptimization {
 
-   public Pass2CullEmptyBlocks(ControlFlowGraph graph, Scope scope) {
-      super(graph, scope);
+   public Pass2CullEmptyBlocks(ControlFlowGraph graph, Scope scope, CompileLog log) {
+      super(graph, scope, log);
    }
 
    @Override
@@ -23,7 +25,7 @@ public class Pass2CullEmptyBlocks extends Pass2SsaOptimization {
          // Replace all jumps (default/conditional/call) to @removeBlock with a jump to the default successor
          final List<ControlFlowBlock> predecessors = getGraph().getPredecessors(removeBlock);
          for (ControlFlowBlock predecessor : predecessors) {
-            Map<Label, Label> replace = new HashMap<>();
+            Map<Label, Label> replace = new LinkedHashMap<>();
             replace.put(removeBlock.getLabel(), successor.getLabel());
             if (removeBlock.getLabel().equals(predecessor.getDefaultSuccessor())) {
                predecessor.setDefaultSuccessor(successor.getLabel());
@@ -61,7 +63,7 @@ public class Pass2CullEmptyBlocks extends Pass2SsaOptimization {
          phiFixVisitor.visitBlock(successor);
          getGraph().getAllBlocks().remove(removeBlock);
          getSymbols().remove(removeBlock.getLabel());
-         System.out.println("Culled Empty Block " + removeBlock.getLabel());
+         log.append("Culled Empty Block " + removeBlock.getLabel());
       }
       return remove.size()>0;
    }
diff --git a/src/dk/camelot64/kickc/icl/Pass2RedundantPhiElimination.java b/src/dk/camelot64/kickc/icl/Pass2RedundantPhiElimination.java
index 6dc55cda8..a3234e252 100644
--- a/src/dk/camelot64/kickc/icl/Pass2RedundantPhiElimination.java
+++ b/src/dk/camelot64/kickc/icl/Pass2RedundantPhiElimination.java
@@ -1,13 +1,16 @@
 package dk.camelot64.kickc.icl;
 
+import dk.camelot64.kickc.CompileLog;
+
 import java.util.HashMap;
+import java.util.LinkedHashMap;
 import java.util.Map;
 
 /** Compiler Pass eliminating redundant phi functions */
 public class Pass2RedundantPhiElimination extends Pass2SsaOptimization {
 
-   public Pass2RedundantPhiElimination(ControlFlowGraph graph, Scope scope) {
-      super(graph, scope);
+   public Pass2RedundantPhiElimination(ControlFlowGraph graph, Scope scope, CompileLog log) {
+      super(graph, scope, log);
    }
 
    /**
@@ -21,7 +24,7 @@ public class Pass2RedundantPhiElimination extends Pass2SsaOptimization {
       replaceVariables(aliases);
       for (Variable var : aliases.keySet()) {
          RValue alias = aliases.get(var);
-         System.out.println("Redundant Phi " + var + " " + alias);
+         log.append("Redundant Phi " + var + " " + alias);
       }
       return aliases.size()>0;
    }
@@ -31,7 +34,7 @@ public class Pass2RedundantPhiElimination extends Pass2SsaOptimization {
     * @return Map from (phi) Variable to the previous value
     */
    private Map<Variable, RValue> findRedundantPhis() {
-      final Map<Variable, RValue> aliases = new HashMap<>();
+      final Map<Variable, RValue> aliases = new LinkedHashMap<>();
       ControlFlowGraphBaseVisitor<Void> visitor = new ControlFlowGraphBaseVisitor<Void>() {
          @Override
          public Void visitPhi(StatementPhi phi) {
diff --git a/src/dk/camelot64/kickc/icl/Pass2SelfPhiElimination.java b/src/dk/camelot64/kickc/icl/Pass2SelfPhiElimination.java
index 82044a6d0..954b5e4a5 100644
--- a/src/dk/camelot64/kickc/icl/Pass2SelfPhiElimination.java
+++ b/src/dk/camelot64/kickc/icl/Pass2SelfPhiElimination.java
@@ -1,12 +1,14 @@
 package dk.camelot64.kickc.icl;
 
+import dk.camelot64.kickc.CompileLog;
+
 import java.util.Iterator;
 
 /** Compiler Pass eliminating phi self assignments  */
 public class Pass2SelfPhiElimination extends Pass2SsaOptimization {
 
-   public Pass2SelfPhiElimination(ControlFlowGraph graph, Scope scope) {
-      super(graph, scope);
+   public Pass2SelfPhiElimination(ControlFlowGraph graph, Scope scope, CompileLog log) {
+      super(graph, scope, log);
    }
 
    /**
@@ -23,7 +25,7 @@ public class Pass2SelfPhiElimination extends Pass2SsaOptimization {
                if (previousSymbol.getRValue().equals(phi.getLValue())) {
                   iterator.remove();
                   optimized[0] = Boolean.TRUE;
-                  System.out.println("Self Phi Eliminated "+phi.getLValue());
+                  log.append("Self Phi Eliminated "+phi.getLValue());
                }
             }
             return null;
diff --git a/src/dk/camelot64/kickc/icl/Pass2SsaOptimization.java b/src/dk/camelot64/kickc/icl/Pass2SsaOptimization.java
index b250d3b4a..bcdb67d7b 100644
--- a/src/dk/camelot64/kickc/icl/Pass2SsaOptimization.java
+++ b/src/dk/camelot64/kickc/icl/Pass2SsaOptimization.java
@@ -1,5 +1,7 @@
 package dk.camelot64.kickc.icl;
 
+import dk.camelot64.kickc.CompileLog;
+
 import java.util.*;
 
 /**
@@ -8,14 +10,20 @@ import java.util.*;
  */
 public abstract class Pass2SsaOptimization {
 
+   protected CompileLog log;
    private ControlFlowGraph graph;
    private Scope scope;
 
-   public Pass2SsaOptimization(ControlFlowGraph graph, Scope scope) {
+   public Pass2SsaOptimization(ControlFlowGraph graph, Scope scope,CompileLog log) {
+      this.log = log;
       this.graph = graph;
       this.scope = scope;
    }
 
+   public CompileLog getLog() {
+      return log;
+   }
+
    public ControlFlowGraph getGraph() {
       return graph;
    }
@@ -270,7 +278,7 @@ public abstract class Pass2SsaOptimization {
    }
 
    public Map<LValue, StatementAssignment> getAllAssignments() {
-      final HashMap<LValue, StatementAssignment> assignments = new HashMap<>();
+      final HashMap<LValue, StatementAssignment> assignments = new LinkedHashMap<>();
       ControlFlowGraphBaseVisitor<Void> visitor = new ControlFlowGraphBaseVisitor<Void>() {
          @Override
          public Void visitAssignment(StatementAssignment assignment) {
@@ -283,7 +291,7 @@ public abstract class Pass2SsaOptimization {
    }
 
    public Map<RValue, List<Statement>> getAllUsages() {
-      final HashMap<RValue, List<Statement>> usages = new HashMap<>();
+      final HashMap<RValue, List<Statement>> usages = new LinkedHashMap<>();
       ControlFlowGraphBaseVisitor<Void> visitor = new ControlFlowGraphBaseVisitor<Void>() {
          @Override
          public Void visitAssignment(StatementAssignment assignment) {
@@ -326,7 +334,7 @@ public abstract class Pass2SsaOptimization {
    }
 
    protected Map<Variable, Integer> countVarUsages() {
-      final HashMap<Variable, Integer> usages = new HashMap<>();
+      final HashMap<Variable, Integer> usages = new LinkedHashMap<>();
       ControlFlowGraphBaseVisitor usageVisitor = new ControlFlowGraphBaseVisitor() {
          private void addUsage(RValue rVal) {
             if(rVal instanceof Variable) {
diff --git a/src/dk/camelot64/kickc/icl/Pass3CodeGeneration.java b/src/dk/camelot64/kickc/icl/Pass3CodeGeneration.java
index 893dbb57e..a91e8c73c 100644
--- a/src/dk/camelot64/kickc/icl/Pass3CodeGeneration.java
+++ b/src/dk/camelot64/kickc/icl/Pass3CodeGeneration.java
@@ -90,7 +90,14 @@ public class Pass3CodeGeneration {
 
    private void genBlockEntryPoints(AsmProgram asm, ControlFlowBlock block) {
       if (block.hasPhiStatements()) {
-         for (ControlFlowBlock predecessor : graph.getPredecessors(block)) {
+         List<ControlFlowBlock> predecessors = new ArrayList<>(graph.getPredecessors(block));
+         Collections.sort(predecessors, new Comparator<ControlFlowBlock>() {
+            @Override
+            public int compare(ControlFlowBlock o1, ControlFlowBlock o2) {
+               return o1.getLabel().getFullName().compareTo(o2.getLabel().getFullName());
+            }
+         });
+         for (ControlFlowBlock predecessor : predecessors) {
             if (block.getLabel().equals(predecessor.getConditionalSuccessor())) {
                genBlockPhiTransition(asm, predecessor, block);
                asm.addInstruction("JMP", AsmAddressingMode.ABS, block.getLabel().getFullName().replace('@', 'B').replace(':','_'));
diff --git a/src/dk/camelot64/kickc/icl/Pass4AsmOptimization.java b/src/dk/camelot64/kickc/icl/Pass4AsmOptimization.java
index f282d209c..f914389e9 100644
--- a/src/dk/camelot64/kickc/icl/Pass4AsmOptimization.java
+++ b/src/dk/camelot64/kickc/icl/Pass4AsmOptimization.java
@@ -1,5 +1,6 @@
 package dk.camelot64.kickc.icl;
 
+import dk.camelot64.kickc.CompileLog;
 import dk.camelot64.kickc.asm.AsmLine;
 import dk.camelot64.kickc.asm.AsmProgram;
 
@@ -11,10 +12,12 @@ import java.util.List;
  **/
 public abstract class Pass4AsmOptimization {
 
+   protected CompileLog log;
    private AsmProgram program;
 
-   public Pass4AsmOptimization(AsmProgram program) {
+   public Pass4AsmOptimization(AsmProgram program, CompileLog log) {
       this.program = program;
+      this.log = log;
    }
 
    /**
@@ -28,11 +31,15 @@ public abstract class Pass4AsmOptimization {
       return program;
    }
 
+   public CompileLog getLog() {
+      return log;
+   }
+
    public void remove(List<AsmLine> remove) {
       for (Iterator<AsmLine> iterator = program.getLines().iterator(); iterator.hasNext(); ) {
          AsmLine line = iterator.next();
          if (remove.contains(line)) {
-            System.out.println("Removing instruction "+line.getAsm());
+            log.append("Removing instruction "+line.getAsm());
             iterator.remove();
          }
       }
diff --git a/src/dk/camelot64/kickc/icl/Pass4NextJumpElimination.java b/src/dk/camelot64/kickc/icl/Pass4NextJumpElimination.java
index 06cb294b5..cfa81dbe6 100644
--- a/src/dk/camelot64/kickc/icl/Pass4NextJumpElimination.java
+++ b/src/dk/camelot64/kickc/icl/Pass4NextJumpElimination.java
@@ -1,5 +1,6 @@
 package dk.camelot64.kickc.icl;
 
+import dk.camelot64.kickc.CompileLog;
 import dk.camelot64.kickc.asm.AsmInstruction;
 import dk.camelot64.kickc.asm.AsmLabel;
 import dk.camelot64.kickc.asm.AsmLine;
@@ -11,8 +12,8 @@ import java.util.List;
 /** Optimize assembler code by removing jumps to labels immediately following the jump */
 public class Pass4NextJumpElimination extends Pass4AsmOptimization {
 
-   public Pass4NextJumpElimination(AsmProgram program) {
-      super(program);
+   public Pass4NextJumpElimination(AsmProgram program, CompileLog log) {
+      super(program, log);
    }
 
    public boolean optimize() {
diff --git a/src/dk/camelot64/kickc/icl/Pass4UnnecesaryLoadElimination.java b/src/dk/camelot64/kickc/icl/Pass4UnnecesaryLoadElimination.java
index 84399289d..f228a508c 100644
--- a/src/dk/camelot64/kickc/icl/Pass4UnnecesaryLoadElimination.java
+++ b/src/dk/camelot64/kickc/icl/Pass4UnnecesaryLoadElimination.java
@@ -1,5 +1,6 @@
 package dk.camelot64.kickc.icl;
 
+import dk.camelot64.kickc.CompileLog;
 import dk.camelot64.kickc.asm.*;
 import dk.camelot64.kickc.asm.parser.AsmProgramStaticRegisterValues;
 
@@ -9,8 +10,8 @@ import java.util.List;
 /** Maps out register values entering all instructions. Removes unnecessary loads / clears / sets */
 public class Pass4UnnecesaryLoadElimination extends Pass4AsmOptimization {
 
-   public Pass4UnnecesaryLoadElimination(AsmProgram program) {
-      super(program);
+   public Pass4UnnecesaryLoadElimination(AsmProgram program, CompileLog log) {
+      super(program, log);
    }
 
    @Override
diff --git a/src/dk/camelot64/kickc/icl/RegisterAllocation.java b/src/dk/camelot64/kickc/icl/RegisterAllocation.java
index 0d8d15e00..fa48573b5 100644
--- a/src/dk/camelot64/kickc/icl/RegisterAllocation.java
+++ b/src/dk/camelot64/kickc/icl/RegisterAllocation.java
@@ -2,6 +2,7 @@ package dk.camelot64.kickc.icl;
 
 
 import java.util.HashMap;
+import java.util.LinkedHashMap;
 import java.util.Map;
 
 /** Register Allocation for Variable Symbols  */
@@ -10,7 +11,7 @@ public class RegisterAllocation {
    private Map<Variable, Register> allocation;
 
    public RegisterAllocation() {
-      this.allocation = new HashMap<>();
+      this.allocation = new LinkedHashMap<>();
    }
 
    /**
diff --git a/src/dk/camelot64/kickc/test/TestCompilationOutput.java b/src/dk/camelot64/kickc/test/TestCompilationOutput.java
index d7ef7f812..f1bfd4349 100644
--- a/src/dk/camelot64/kickc/test/TestCompilationOutput.java
+++ b/src/dk/camelot64/kickc/test/TestCompilationOutput.java
@@ -1,5 +1,7 @@
 package dk.camelot64.kickc.test;
 
+import com.sun.org.apache.xpath.internal.SourceTree;
+import com.sun.xml.internal.ws.policy.privateutil.PolicyUtils;
 import dk.camelot64.kickc.Compiler;
 import org.antlr.v4.runtime.CharStream;
 import org.antlr.v4.runtime.CharStreams;
@@ -34,13 +36,15 @@ public class TestCompilationOutput {
    }
 
    private void testFile(String fileName) throws IOException, URISyntaxException {
-      String InputPath = testPath + fileName + ".kc";
-      CharStream input = CharStreams.fromFileName(InputPath);
+      String inputPath = testPath + fileName + ".kc";
+      System.out.println("Testing output for "+inputPath);
+      CharStream input = CharStreams.fromFileName(inputPath);
       Compiler compiler = new Compiler();
       Compiler.CompilationResult output = compiler.compile(input);
+      assertOutput(fileName, ".asm", output.getAsmProgram().toString());
       assertOutput(fileName, ".sym", output.getSymbols().getSymbolTableContents());
       assertOutput(fileName, ".cfg", output.getGraph().toString());
-      assertOutput(fileName, ".asm", output.getAsmProgram().toString());
+      assertOutput(fileName, ".log", output.getLog().toString());
    }
 
    private void assertOutput(
@@ -48,7 +52,14 @@ public class TestCompilationOutput {
          String extension,
          String outputString) throws IOException, URISyntaxException {
       // Read reference file
-      List<String> refLines = loadReferenceLines(fileName, extension);
+      List<String> refLines = null;
+      try {
+         refLines = loadReferenceLines(fileName, extension);
+      } catch (Exception e) {
+         writeOutputFile(fileName, extension, outputString);
+         System.out.println("Error loading reference."+e.getMessage());
+         return;
+      }
       // Split output into outLines
       List<String> outLines = getOutLines(outputString);
       for (int i = 0; i < outLines.size(); i++) {
diff --git a/src/dk/camelot64/kickc/test/ref/flipper-rex2.asm b/src/dk/camelot64/kickc/test/ref/flipper-rex2.asm
index 557f9580d..25787cdba 100644
--- a/src/dk/camelot64/kickc/test/ref/flipper-rex2.asm
+++ b/src/dk/camelot64/kickc/test/ref/flipper-rex2.asm
@@ -41,39 +41,39 @@ plot__B1_from_plot:
   // (byte) plot::y#2 = (byte) 16  // zpby1=coby1
   lda #16
   sta 100
+  // (byte) plot::i#3 = (byte) 0  // xby=coby1
+  ldx #0
   // (byte*) plot::line#2 = (word) 1236  // zpptrby1=cowo1
   lda #<1236
   sta 101
   lda #>1236
   sta 101+1
-  // (byte) plot::i#3 = (byte) 0  // xby=coby1
-  ldx #0
 plot__B1_from_B15:
-  // (byte) plot::y#2 = (byte) plot::y#0  // register copy 
-  // (byte*) plot::line#2 = (byte*) plot::line#0  // register copy 
-  // (byte) plot::i#3 = (byte) plot::i#0  // register copy 
+  // (byte) plot::y#2 = (byte) plot::y#1  // register copy 
+  // (byte) plot::i#3 = (byte) plot::i#1  // register copy 
+  // (byte*) plot::line#2 = (byte*) plot::line#1  // register copy 
 plot__B1:
 plot__B2_from_B1:
   // (byte) plot::x#2 = (byte) 0  // yby=coby1
   ldy #0
   // (byte) plot::i#2 = (byte) plot::i#3  // register copy 
 plot__B2_from_B2:
-  // (byte) plot::x#2 = (byte) plot::x#0  // register copy 
-  // (byte) plot::i#2 = (byte) plot::i#0  // register copy 
+  // (byte) plot::x#2 = (byte) plot::x#1  // register copy 
+  // (byte) plot::i#2 = (byte) plot::i#1  // register copy 
 plot__B2:
   // (byte~) plot::$3 ← (word) 4096 *idx (byte) plot::i#2  //  aby=cowo1_staridx_xby
   lda 4096,x
   // *((byte*) plot::line#2 + (byte) plot::x#2) ← (byte~) plot::$3  //  ptr_zpptrby1_yby=aby
   sta (101),y
-  // (byte) plot::i#0 ← ++ (byte) plot::i#2  //  xby=_inc_xby
+  // (byte) plot::i#1 ← ++ (byte) plot::i#2  //  xby=_inc_xby
   inx
-  // (byte) plot::x#0 ← ++ (byte) plot::x#2  //  yby=_inc_yby
+  // (byte) plot::x#1 ← ++ (byte) plot::x#2  //  yby=_inc_yby
   iny
-  // if((byte) plot::x#0<(byte) 16) goto plot::@2  //  yby_lt_coby1_then_la1
+  // if((byte) plot::x#1<(byte) 16) goto plot::@2  //  yby_lt_coby1_then_la1
   cpy #16
   bcc plot__B2_from_B2
 B15:
-  // (byte*) plot::line#0 ← (byte*) plot::line#2 + (byte) 40  //  zpptrby1=zpptrby1_plus_coby1
+  // (byte*) plot::line#1 ← (byte*) plot::line#2 + (byte) 40  //  zpptrby1=zpptrby1_plus_coby1
   lda 101
   clc
   adc #40
@@ -81,9 +81,9 @@ B15:
   bcc !+
   inc 101+1
 !:
-  // (byte) plot::y#0 ← -- (byte) plot::y#2  //  zpby1=_dec_zpby1
+  // (byte) plot::y#1 ← -- (byte) plot::y#2  //  zpby1=_dec_zpby1
   dec 100
-  // if((byte) plot::y#0!=(byte) 0) goto plot::@1  //  zpby1_neq_0_then_la1
+  // if((byte) plot::y#1!=(byte) 0) goto plot::@1  //  zpby1_neq_0_then_la1
   lda 100
   bne plot__B1_from_B15
 plot__Breturn:
@@ -93,48 +93,48 @@ flip__B1_from_flip:
   // (byte) flip::r#2 = (byte) 16  // zpby1=coby1
   lda #16
   sta 104
-  // (byte) flip::dstIdx#5 = (byte) 15  // yby=coby1
-  ldy #15
   // (byte) flip::srcIdx#3 = (byte) 0  // xby=coby1
   ldx #0
+  // (byte) flip::dstIdx#5 = (byte) 15  // yby=coby1
+  ldy #15
 flip__B1_from_B11:
-  // (byte) flip::r#2 = (byte) flip::r#0  // register copy 
-  // (byte) flip::dstIdx#5 = (byte) flip::dstIdx#1  // register copy 
-  // (byte) flip::srcIdx#3 = (byte) flip::srcIdx#0  // register copy 
+  // (byte) flip::r#2 = (byte) flip::r#1  // register copy 
+  // (byte) flip::srcIdx#3 = (byte) flip::srcIdx#1  // register copy 
+  // (byte) flip::dstIdx#5 = (byte) flip::dstIdx#2  // register copy 
 flip__B1:
 flip__B2_from_B1:
-  // (byte) flip::dstIdx#3 = (byte) flip::dstIdx#5  // register copy 
-  // (byte) flip::srcIdx#2 = (byte) flip::srcIdx#3  // register copy 
   // (byte) flip::c#2 = (byte) 16  // zpby1=coby1
   lda #16
   sta 103
+  // (byte) flip::dstIdx#3 = (byte) flip::dstIdx#5  // register copy 
+  // (byte) flip::srcIdx#2 = (byte) flip::srcIdx#3  // register copy 
 flip__B2_from_B2:
-  // (byte) flip::dstIdx#3 = (byte) flip::dstIdx#0  // register copy 
-  // (byte) flip::srcIdx#2 = (byte) flip::srcIdx#0  // register copy 
-  // (byte) flip::c#2 = (byte) flip::c#0  // register copy 
+  // (byte) flip::c#2 = (byte) flip::c#1  // register copy 
+  // (byte) flip::dstIdx#3 = (byte) flip::dstIdx#1  // register copy 
+  // (byte) flip::srcIdx#2 = (byte) flip::srcIdx#1  // register copy 
 flip__B2:
   // (byte~) flip::$0 ← (word) 4096 *idx (byte) flip::srcIdx#2  //  aby=cowo1_staridx_xby
   lda 4096,x
   // *((word) 4352 + (byte) flip::dstIdx#3) ← (byte~) flip::$0  //  ptr_cowo1_yby=aby
   sta 4352,y
-  // (byte) flip::srcIdx#0 ← ++ (byte) flip::srcIdx#2  //  xby=_inc_xby
+  // (byte) flip::srcIdx#1 ← ++ (byte) flip::srcIdx#2  //  xby=_inc_xby
   inx
-  // (byte) flip::dstIdx#0 ← (byte) flip::dstIdx#3 + (byte) 16  //  yby=yby_plus_coby1
+  // (byte) flip::dstIdx#1 ← (byte) flip::dstIdx#3 + (byte) 16  //  yby=yby_plus_coby1
   tya
   clc
   adc #16
   tay
-  // (byte) flip::c#0 ← -- (byte) flip::c#2  //  zpby1=_dec_zpby1
+  // (byte) flip::c#1 ← -- (byte) flip::c#2  //  zpby1=_dec_zpby1
   dec 103
-  // if((byte) flip::c#0!=(byte) 0) goto flip::@2  //  zpby1_neq_0_then_la1
+  // if((byte) flip::c#1!=(byte) 0) goto flip::@2  //  zpby1_neq_0_then_la1
   lda 103
   bne flip__B2_from_B2
 B11:
-  // (byte) flip::dstIdx#1 ← -- (byte) flip::dstIdx#0  //  yby=_dec_yby
+  // (byte) flip::dstIdx#2 ← -- (byte) flip::dstIdx#1  //  yby=_dec_yby
   dey
-  // (byte) flip::r#0 ← -- (byte) flip::r#2  //  zpby1=_dec_zpby1
+  // (byte) flip::r#1 ← -- (byte) flip::r#2  //  zpby1=_dec_zpby1
   dec 104
-  // if((byte) flip::r#0!=(byte) 0) goto flip::@1  //  zpby1_neq_0_then_la1
+  // if((byte) flip::r#1!=(byte) 0) goto flip::@1  //  zpby1_neq_0_then_la1
   lda 104
   bne flip__B1_from_B11
 flip__B3_from_B11:
@@ -159,14 +159,14 @@ prepare__B1_from_prepare:
   // (byte) prepare::i#2 = (byte) 0  // xby=coby1
   ldx #0
 prepare__B1_from_B1:
-  // (byte) prepare::i#2 = (byte) prepare::i#0  // register copy 
+  // (byte) prepare::i#2 = (byte) prepare::i#1  // register copy 
 prepare__B1:
   // *((word) 4096 + (byte) prepare::i#2) ← (byte) prepare::i#2  //  ptr_cowo1_xby=xby
   txa
   sta 4096,x
-  // (byte) prepare::i#0 ← ++ (byte) prepare::i#2  //  xby=_inc_xby
+  // (byte) prepare::i#1 ← ++ (byte) prepare::i#2  //  xby=_inc_xby
   inx
-  // if((byte) prepare::i#0!=(byte) 0) goto prepare::@1  //  xby_neq_0_then_la1
+  // if((byte) prepare::i#1!=(byte) 0) goto prepare::@1  //  xby_neq_0_then_la1
   cpx #0
   bne prepare__B1_from_B1
 prepare__Breturn:
diff --git a/src/dk/camelot64/kickc/test/ref/flipper-rex2.cfg b/src/dk/camelot64/kickc/test/ref/flipper-rex2.cfg
index 5853dfe9a..aaa567143 100644
--- a/src/dk/camelot64/kickc/test/ref/flipper-rex2.cfg
+++ b/src/dk/camelot64/kickc/test/ref/flipper-rex2.cfg
@@ -1,79 +1,64 @@
-@2: from @20 @6 @BEGIN
-  (byte) c#2 ← phi( @20/(byte) 25 @6/(byte) c#1 @BEGIN/(byte) 25 )
-  to:@3
 @BEGIN: from
   call prepare param-assignment
   to:@2
-@20: from @19
-  if(true) goto @2
-  to:@END
-prepare::@1: from prepare prepare::@1
-  (byte) prepare::i#2 ← phi( prepare/(byte) 0 prepare::@1/(byte) prepare::i#0 )
-  *((word) 4096 + (byte) prepare::i#2) ← (byte) prepare::i#2
-  (byte) prepare::i#0 ← ++ (byte) prepare::i#2
-  if((byte) prepare::i#0!=(byte) 0) goto prepare::@1
-  to:prepare::@return
-flip::@2: from flip::@1 flip::@2
-  (byte) flip::dstIdx#3 ← phi( flip::@1/(byte) flip::dstIdx#5 flip::@2/(byte) flip::dstIdx#0 )
-  (byte) flip::srcIdx#2 ← phi( flip::@1/(byte) flip::srcIdx#3 flip::@2/(byte) flip::srcIdx#0 )
-  (byte) flip::c#2 ← phi( flip::@1/(byte) 16 flip::@2/(byte) flip::c#0 )
-  (byte~) flip::$0 ← (word) 4096 *idx (byte) flip::srcIdx#2
-  *((word) 4352 + (byte) flip::dstIdx#3) ← (byte~) flip::$0
-  (byte) flip::srcIdx#0 ← ++ (byte) flip::srcIdx#2
-  (byte) flip::dstIdx#0 ← (byte) flip::dstIdx#3 + (byte) 16
-  (byte) flip::c#0 ← -- (byte) flip::c#2
-  if((byte) flip::c#0!=(byte) 0) goto flip::@2
-  to:@11
+@2: from @20 @6 @BEGIN
+  (byte) c#2 ← phi( @20/(byte) 25 @6/(byte) c#1 @BEGIN/(byte) 25 )
+  to:@3
+@3: from @2 @3
+  (byte~) $1 ← * (word) 53266
+  if((byte~) $1!=(byte) 254) goto @3
+  to:@4
 @4: from @3 @4
   (byte~) $3 ← * (word) 53266
   if((byte~) $3!=(byte) 255) goto @4
   to:@6
-@11: from flip::@2
-  (byte) flip::dstIdx#1 ← -- (byte) flip::dstIdx#0
-  (byte) flip::r#0 ← -- (byte) flip::r#2
-  if((byte) flip::r#0!=(byte) 0) goto flip::@1
-  to:flip::@3
-plot::@return: from @15
-  return 
-  to:@RETURN
-plot::@2: from plot::@1 plot::@2
-  (byte) plot::x#2 ← phi( plot::@1/(byte) 0 plot::@2/(byte) plot::x#0 )
-  (byte) plot::i#2 ← phi( plot::@1/(byte) plot::i#3 plot::@2/(byte) plot::i#0 )
-  (byte~) plot::$3 ← (word) 4096 *idx (byte) plot::i#2
-  *((byte*) plot::line#2 + (byte) plot::x#2) ← (byte~) plot::$3
-  (byte) plot::i#0 ← ++ (byte) plot::i#2
-  (byte) plot::x#0 ← ++ (byte) plot::x#2
-  if((byte) plot::x#0<(byte) 16) goto plot::@2
-  to:@15
 @6: from @4
   (byte) c#1 ← -- (byte) c#2
   if((byte) c#1!=(byte) 0) goto @2
   to:@7
-plot::@1: from @15 plot
-  (byte) plot::y#2 ← phi( @15/(byte) plot::y#0 plot/(byte) 16 )
-  (byte*) plot::line#2 ← phi( @15/(byte*) plot::line#0 plot/(word) 1236 )
-  (byte) plot::i#3 ← phi( @15/(byte) plot::i#0 plot/(byte) 0 )
-  to:plot::@2
+@7: from @6
+  call flip param-assignment
+  to:@19
+@19: from @7
+  call plot param-assignment
+  to:@20
+@20: from @19
+  if(true) goto @2
+  to:@END
+prepare: from @BEGIN
+  to:prepare::@1
+prepare::@1: from prepare prepare::@1
+  (byte) prepare::i#2 ← phi( prepare/(byte) 0 prepare::@1/(byte) prepare::i#1 )
+  *((word) 4096 + (byte) prepare::i#2) ← (byte) prepare::i#2
+  (byte) prepare::i#1 ← ++ (byte) prepare::i#2
+  if((byte) prepare::i#1!=(byte) 0) goto prepare::@1
+  to:prepare::@return
 prepare::@return: from prepare::@1
   return 
   to:@RETURN
 flip: from @7
   to:flip::@1
-prepare: from @BEGIN
-  to:prepare::@1
-@7: from @6
-  call flip param-assignment
-  to:@19
 flip::@1: from @11 flip
-  (byte) flip::r#2 ← phi( @11/(byte) flip::r#0 flip/(byte) 16 )
-  (byte) flip::dstIdx#5 ← phi( @11/(byte) flip::dstIdx#1 flip/(byte) 15 )
-  (byte) flip::srcIdx#3 ← phi( @11/(byte) flip::srcIdx#0 flip/(byte) 0 )
+  (byte) flip::r#2 ← phi( @11/(byte) flip::r#1 flip/(byte) 16 )
+  (byte) flip::srcIdx#3 ← phi( @11/(byte) flip::srcIdx#1 flip/(byte) 0 )
+  (byte) flip::dstIdx#5 ← phi( @11/(byte) flip::dstIdx#2 flip/(byte) 15 )
   to:flip::@2
-@15: from plot::@2
-  (byte*) plot::line#0 ← (byte*) plot::line#2 + (byte) 40
-  (byte) plot::y#0 ← -- (byte) plot::y#2
-  if((byte) plot::y#0!=(byte) 0) goto plot::@1
-  to:plot::@return
+flip::@2: from flip::@1 flip::@2
+  (byte) flip::c#2 ← phi( flip::@1/(byte) 16 flip::@2/(byte) flip::c#1 )
+  (byte) flip::dstIdx#3 ← phi( flip::@1/(byte) flip::dstIdx#5 flip::@2/(byte) flip::dstIdx#1 )
+  (byte) flip::srcIdx#2 ← phi( flip::@1/(byte) flip::srcIdx#3 flip::@2/(byte) flip::srcIdx#1 )
+  (byte~) flip::$0 ← (word) 4096 *idx (byte) flip::srcIdx#2
+  *((word) 4352 + (byte) flip::dstIdx#3) ← (byte~) flip::$0
+  (byte) flip::srcIdx#1 ← ++ (byte) flip::srcIdx#2
+  (byte) flip::dstIdx#1 ← (byte) flip::dstIdx#3 + (byte) 16
+  (byte) flip::c#1 ← -- (byte) flip::c#2
+  if((byte) flip::c#1!=(byte) 0) goto flip::@2
+  to:@11
+@11: from flip::@2
+  (byte) flip::dstIdx#2 ← -- (byte) flip::dstIdx#1
+  (byte) flip::r#1 ← -- (byte) flip::r#2
+  if((byte) flip::r#1!=(byte) 0) goto flip::@1
+  to:flip::@3
 flip::@3: from @11 flip::@3
   (byte) flip::i#2 ← phi( @11/(byte) 0 flip::@3/(byte) flip::i#1 )
   (byte~) flip::$4 ← (word) 4352 *idx (byte) flip::i#2
@@ -81,16 +66,31 @@ flip::@3: from @11 flip::@3
   (byte) flip::i#1 ← ++ (byte) flip::i#2
   if((byte) flip::i#1!=(byte) 0) goto flip::@3
   to:flip::@return
-@END: from @20
-@19: from @7
-  call plot param-assignment
-  to:@20
-plot: from @19
-  to:plot::@1
-@3: from @2 @3
-  (byte~) $1 ← * (word) 53266
-  if((byte~) $1!=(byte) 254) goto @3
-  to:@4
 flip::@return: from flip::@3
   return 
   to:@RETURN
+plot: from @19
+  to:plot::@1
+plot::@1: from @15 plot
+  (byte) plot::y#2 ← phi( @15/(byte) plot::y#1 plot/(byte) 16 )
+  (byte) plot::i#3 ← phi( @15/(byte) plot::i#1 plot/(byte) 0 )
+  (byte*) plot::line#2 ← phi( @15/(byte*) plot::line#1 plot/(word) 1236 )
+  to:plot::@2
+plot::@2: from plot::@1 plot::@2
+  (byte) plot::x#2 ← phi( plot::@1/(byte) 0 plot::@2/(byte) plot::x#1 )
+  (byte) plot::i#2 ← phi( plot::@1/(byte) plot::i#3 plot::@2/(byte) plot::i#1 )
+  (byte~) plot::$3 ← (word) 4096 *idx (byte) plot::i#2
+  *((byte*) plot::line#2 + (byte) plot::x#2) ← (byte~) plot::$3
+  (byte) plot::i#1 ← ++ (byte) plot::i#2
+  (byte) plot::x#1 ← ++ (byte) plot::x#2
+  if((byte) plot::x#1<(byte) 16) goto plot::@2
+  to:@15
+@15: from plot::@2
+  (byte*) plot::line#1 ← (byte*) plot::line#2 + (byte) 40
+  (byte) plot::y#1 ← -- (byte) plot::y#2
+  if((byte) plot::y#1!=(byte) 0) goto plot::@1
+  to:plot::@return
+plot::@return: from @15
+  return 
+  to:@RETURN
+@END: from @20
diff --git a/src/dk/camelot64/kickc/test/ref/flipper-rex2.log b/src/dk/camelot64/kickc/test/ref/flipper-rex2.log
new file mode 100644
index 000000000..2ac62b407
--- /dev/null
+++ b/src/dk/camelot64/kickc/test/ref/flipper-rex2.log
@@ -0,0 +1,3829 @@
+byte[1000] SCREEN = $0400;
+byte[16*16] buffer1 = $1000;
+byte[16*16] buffer2 = $1100;
+
+byte *RASTER = $d012;
+
+prepare();
+do {
+   byte c = 25;
+   do{
+     do { } while(*RASTER!=254)
+     do { } while(*RASTER!=255)
+     c--;
+   } while(c!=0)
+   flip();
+   plot();
+} while(true)
+
+// Prepare buffer
+void prepare() {
+   byte i=0;
+   do {
+      buffer1[i] = i;
+   } while (++i!=0)
+}
+
+// Flip buffer
+void flip() {
+   byte srcIdx = 0;
+   byte dstIdx = 15;
+   byte r=16;
+   do {
+      byte c = 16;
+      do {
+         buffer2[dstIdx] = buffer1[srcIdx++];
+         dstIdx = dstIdx+16;
+      } while(--c!=0)
+      dstIdx--;
+     } while(--r!=0)
+   byte i=0;
+   do {
+      buffer1[i] = buffer2[i];
+   } while (++i!=0)
+}
+
+// Plot buffer on screen
+void plot() {
+   byte* line = SCREEN+5*40+12;
+   byte y=16;
+   byte i=0;
+   do {
+      byte x=0;
+      do {
+         line[x] = buffer1[i++];
+      } while(++x<16)
+      line = line+40;
+   } while(--y!=0)
+}
+Adding pre/post-modifier (byte) c ← -- (byte) c
+Adding pre/post-modifier (byte) prepare::i ← ++ (byte) prepare::i
+Adding pre/post-modifier (byte) flip::srcIdx ← ++ (byte) flip::srcIdx
+Adding pre/post-modifier (byte) flip::c ← -- (byte) flip::c
+Adding pre/post-modifier (byte) flip::dstIdx ← -- (byte) flip::dstIdx
+Adding pre/post-modifier (byte) flip::r ← -- (byte) flip::r
+Adding pre/post-modifier (byte) flip::i ← ++ (byte) flip::i
+Adding pre/post-modifier (byte) plot::i ← ++ (byte) plot::i
+Adding pre/post-modifier (byte) plot::x ← ++ (byte) plot::x
+Adding pre/post-modifier (byte) plot::y ← -- (byte) plot::y
+PROGRAM
+  (byte[1000]) SCREEN ← (word) 1024
+  (byte[256]) buffer1 ← (word) 4096
+  (byte[256]) buffer2 ← (word) 4352
+  (byte*) RASTER ← (word) 53266
+  (void~) $0 ← call prepare 
+@1:
+  (byte) c ← (byte) 25
+@2:
+@3:
+  (byte~) $1 ← * (byte*) RASTER
+  (boolean~) $2 ← (byte~) $1 != (byte) 254
+  if((boolean~) $2) goto @3
+@4:
+  (byte~) $3 ← * (byte*) RASTER
+  (boolean~) $4 ← (byte~) $3 != (byte) 255
+  if((boolean~) $4) goto @4
+  (byte) c ← -- (byte) c
+  (boolean~) $5 ← (byte) c != (byte) 0
+  if((boolean~) $5) goto @2
+  (void~) $6 ← call flip 
+  (void~) $7 ← call plot 
+  if(true) goto @1
+  proc (void()) prepare()
+  (byte) prepare::i ← (byte) 0
+prepare::@1:
+  *((byte[256]) buffer1 + (byte) prepare::i) ← (byte) prepare::i
+  (byte) prepare::i ← ++ (byte) prepare::i
+  (boolean~) prepare::$0 ← (byte) prepare::i != (byte) 0
+  if((boolean~) prepare::$0) goto prepare::@1
+prepare::@return:
+  return 
+  endproc // prepare()
+  proc (void()) flip()
+  (byte) flip::srcIdx ← (byte) 0
+  (byte) flip::dstIdx ← (byte) 15
+  (byte) flip::r ← (byte) 16
+flip::@1:
+  (byte) flip::c ← (byte) 16
+flip::@2:
+  (byte~) flip::$0 ← (byte[256]) buffer1 *idx (byte) flip::srcIdx
+  *((byte[256]) buffer2 + (byte) flip::dstIdx) ← (byte~) flip::$0
+  (byte) flip::srcIdx ← ++ (byte) flip::srcIdx
+  (byte~) flip::$1 ← (byte) flip::dstIdx + (byte) 16
+  (byte) flip::dstIdx ← (byte~) flip::$1
+  (byte) flip::c ← -- (byte) flip::c
+  (boolean~) flip::$2 ← (byte) flip::c != (byte) 0
+  if((boolean~) flip::$2) goto flip::@2
+  (byte) flip::dstIdx ← -- (byte) flip::dstIdx
+  (byte) flip::r ← -- (byte) flip::r
+  (boolean~) flip::$3 ← (byte) flip::r != (byte) 0
+  if((boolean~) flip::$3) goto flip::@1
+  (byte) flip::i ← (byte) 0
+flip::@3:
+  (byte~) flip::$4 ← (byte[256]) buffer2 *idx (byte) flip::i
+  *((byte[256]) buffer1 + (byte) flip::i) ← (byte~) flip::$4
+  (byte) flip::i ← ++ (byte) flip::i
+  (boolean~) flip::$5 ← (byte) flip::i != (byte) 0
+  if((boolean~) flip::$5) goto flip::@3
+flip::@return:
+  return 
+  endproc // flip()
+  proc (void()) plot()
+  (byte~) plot::$0 ← (byte) 5 * (byte) 40
+  (byte*~) plot::$1 ← (byte[1000]) SCREEN + (byte~) plot::$0
+  (byte*~) plot::$2 ← (byte*~) plot::$1 + (byte) 12
+  (byte*) plot::line ← (byte*~) plot::$2
+  (byte) plot::y ← (byte) 16
+  (byte) plot::i ← (byte) 0
+plot::@1:
+  (byte) plot::x ← (byte) 0
+plot::@2:
+  (byte~) plot::$3 ← (byte[256]) buffer1 *idx (byte) plot::i
+  *((byte*) plot::line + (byte) plot::x) ← (byte~) plot::$3
+  (byte) plot::i ← ++ (byte) plot::i
+  (byte) plot::x ← ++ (byte) plot::x
+  (boolean~) plot::$4 ← (byte) plot::x < (byte) 16
+  if((boolean~) plot::$4) goto plot::@2
+  (byte*~) plot::$5 ← (byte*) plot::line + (byte) 40
+  (byte*) plot::line ← (byte*~) plot::$5
+  (byte) plot::y ← -- (byte) plot::y
+  (boolean~) plot::$6 ← (byte) plot::y != (byte) 0
+  if((boolean~) plot::$6) goto plot::@1
+plot::@return:
+  return 
+  endproc // plot()
+
+SYMBOLS
+(void~) $0
+(byte~) $1
+(boolean~) $2
+(byte~) $3
+(boolean~) $4
+(boolean~) $5
+(void~) $6
+(void~) $7
+(label) @1
+(label) @2
+(label) @3
+(label) @4
+(byte*) RASTER
+(byte[1000]) SCREEN
+(byte[256]) buffer1
+(byte[256]) buffer2
+(byte) c
+(void()) flip()
+(byte~) flip::$0
+(byte~) flip::$1
+(boolean~) flip::$2
+(boolean~) flip::$3
+(byte~) flip::$4
+(boolean~) flip::$5
+(label) flip::@1
+(label) flip::@2
+(label) flip::@3
+(label) flip::@return
+(byte) flip::c
+(byte) flip::dstIdx
+(byte) flip::i
+(byte) flip::r
+(byte) flip::srcIdx
+
+(void()) plot()
+(byte~) plot::$0
+(byte*~) plot::$1
+(byte*~) plot::$2
+(byte~) plot::$3
+(boolean~) plot::$4
+(byte*~) plot::$5
+(boolean~) plot::$6
+(label) plot::@1
+(label) plot::@2
+(label) plot::@return
+(byte) plot::i
+(byte*) plot::line
+(byte) plot::x
+(byte) plot::y
+
+(void()) prepare()
+(boolean~) prepare::$0
+(label) prepare::@1
+(label) prepare::@return
+(byte) prepare::i
+
+
+INITIAL CONTROL FLOW GRAPH
+@BEGIN: from
+  (byte[1000]) SCREEN ← (word) 1024
+  (byte[256]) buffer1 ← (word) 4096
+  (byte[256]) buffer2 ← (word) 4352
+  (byte*) RASTER ← (word) 53266
+  (void~) $0 ← call prepare 
+  to:@1
+@1: from @7 @BEGIN
+  (byte) c ← (byte) 25
+  to:@2
+@2: from @1 @6
+  to:@3
+@3: from @2 @3
+  (byte~) $1 ← * (byte*) RASTER
+  (boolean~) $2 ← (byte~) $1 != (byte) 254
+  if((boolean~) $2) goto @3
+  to:@5
+@5: from @3
+  to:@4
+@4: from @4 @5
+  (byte~) $3 ← * (byte*) RASTER
+  (boolean~) $4 ← (byte~) $3 != (byte) 255
+  if((boolean~) $4) goto @4
+  to:@6
+@6: from @4
+  (byte) c ← -- (byte) c
+  (boolean~) $5 ← (byte) c != (byte) 0
+  if((boolean~) $5) goto @2
+  to:@7
+@7: from @6
+  (void~) $6 ← call flip 
+  (void~) $7 ← call plot 
+  if(true) goto @1
+  to:@8
+@8: from @7
+  to:@10
+prepare: from
+  (byte) prepare::i ← (byte) 0
+  to:prepare::@1
+prepare::@1: from prepare prepare::@1
+  *((byte[256]) buffer1 + (byte) prepare::i) ← (byte) prepare::i
+  (byte) prepare::i ← ++ (byte) prepare::i
+  (boolean~) prepare::$0 ← (byte) prepare::i != (byte) 0
+  if((boolean~) prepare::$0) goto prepare::@1
+  to:@9
+@9: from prepare::@1
+  to:prepare::@return
+prepare::@return: from @9
+  return 
+  to:@RETURN
+@10: from @8
+  to:@14
+flip: from
+  (byte) flip::srcIdx ← (byte) 0
+  (byte) flip::dstIdx ← (byte) 15
+  (byte) flip::r ← (byte) 16
+  to:flip::@1
+flip::@1: from @11 flip
+  (byte) flip::c ← (byte) 16
+  to:flip::@2
+flip::@2: from flip::@1 flip::@2
+  (byte~) flip::$0 ← (byte[256]) buffer1 *idx (byte) flip::srcIdx
+  *((byte[256]) buffer2 + (byte) flip::dstIdx) ← (byte~) flip::$0
+  (byte) flip::srcIdx ← ++ (byte) flip::srcIdx
+  (byte~) flip::$1 ← (byte) flip::dstIdx + (byte) 16
+  (byte) flip::dstIdx ← (byte~) flip::$1
+  (byte) flip::c ← -- (byte) flip::c
+  (boolean~) flip::$2 ← (byte) flip::c != (byte) 0
+  if((boolean~) flip::$2) goto flip::@2
+  to:@11
+@11: from flip::@2
+  (byte) flip::dstIdx ← -- (byte) flip::dstIdx
+  (byte) flip::r ← -- (byte) flip::r
+  (boolean~) flip::$3 ← (byte) flip::r != (byte) 0
+  if((boolean~) flip::$3) goto flip::@1
+  to:@12
+@12: from @11
+  (byte) flip::i ← (byte) 0
+  to:flip::@3
+flip::@3: from @12 flip::@3
+  (byte~) flip::$4 ← (byte[256]) buffer2 *idx (byte) flip::i
+  *((byte[256]) buffer1 + (byte) flip::i) ← (byte~) flip::$4
+  (byte) flip::i ← ++ (byte) flip::i
+  (boolean~) flip::$5 ← (byte) flip::i != (byte) 0
+  if((boolean~) flip::$5) goto flip::@3
+  to:@13
+@13: from flip::@3
+  to:flip::@return
+flip::@return: from @13
+  return 
+  to:@RETURN
+@14: from @10
+  to:@17
+plot: from
+  (byte~) plot::$0 ← (byte) 5 * (byte) 40
+  (byte*~) plot::$1 ← (byte[1000]) SCREEN + (byte~) plot::$0
+  (byte*~) plot::$2 ← (byte*~) plot::$1 + (byte) 12
+  (byte*) plot::line ← (byte*~) plot::$2
+  (byte) plot::y ← (byte) 16
+  (byte) plot::i ← (byte) 0
+  to:plot::@1
+plot::@1: from @15 plot
+  (byte) plot::x ← (byte) 0
+  to:plot::@2
+plot::@2: from plot::@1 plot::@2
+  (byte~) plot::$3 ← (byte[256]) buffer1 *idx (byte) plot::i
+  *((byte*) plot::line + (byte) plot::x) ← (byte~) plot::$3
+  (byte) plot::i ← ++ (byte) plot::i
+  (byte) plot::x ← ++ (byte) plot::x
+  (boolean~) plot::$4 ← (byte) plot::x < (byte) 16
+  if((boolean~) plot::$4) goto plot::@2
+  to:@15
+@15: from plot::@2
+  (byte*~) plot::$5 ← (byte*) plot::line + (byte) 40
+  (byte*) plot::line ← (byte*~) plot::$5
+  (byte) plot::y ← -- (byte) plot::y
+  (boolean~) plot::$6 ← (byte) plot::y != (byte) 0
+  if((boolean~) plot::$6) goto plot::@1
+  to:@16
+@16: from @15
+  to:plot::@return
+plot::@return: from @16
+  return 
+  to:@RETURN
+@17: from @14
+  to:@END
+@END: from @17
+
+CONTROL FLOW GRAPH WITH ASSIGNMENT CALL
+@BEGIN: from
+  (byte[1000]) SCREEN ← (word) 1024
+  (byte[256]) buffer1 ← (word) 4096
+  (byte[256]) buffer2 ← (word) 4352
+  (byte*) RASTER ← (word) 53266
+  call prepare param-assignment
+  to:@18
+@18: from @BEGIN
+  to:@1
+@1: from @18 @20
+  (byte) c ← (byte) 25
+  to:@2
+@2: from @1 @6
+  to:@3
+@3: from @2 @3
+  (byte~) $1 ← * (byte*) RASTER
+  (boolean~) $2 ← (byte~) $1 != (byte) 254
+  if((boolean~) $2) goto @3
+  to:@5
+@5: from @3
+  to:@4
+@4: from @4 @5
+  (byte~) $3 ← * (byte*) RASTER
+  (boolean~) $4 ← (byte~) $3 != (byte) 255
+  if((boolean~) $4) goto @4
+  to:@6
+@6: from @4
+  (byte) c ← -- (byte) c
+  (boolean~) $5 ← (byte) c != (byte) 0
+  if((boolean~) $5) goto @2
+  to:@7
+@7: from @6
+  call flip param-assignment
+  to:@19
+@19: from @7
+  call plot param-assignment
+  to:@20
+@20: from @19
+  if(true) goto @1
+  to:@8
+@8: from @20
+  to:@10
+prepare: from @BEGIN
+  (byte) prepare::i ← (byte) 0
+  to:prepare::@1
+prepare::@1: from prepare prepare::@1
+  *((byte[256]) buffer1 + (byte) prepare::i) ← (byte) prepare::i
+  (byte) prepare::i ← ++ (byte) prepare::i
+  (boolean~) prepare::$0 ← (byte) prepare::i != (byte) 0
+  if((boolean~) prepare::$0) goto prepare::@1
+  to:@9
+@9: from prepare::@1
+  to:prepare::@return
+prepare::@return: from @9
+  return 
+  to:@RETURN
+@10: from @8
+  to:@14
+flip: from @7
+  (byte) flip::srcIdx ← (byte) 0
+  (byte) flip::dstIdx ← (byte) 15
+  (byte) flip::r ← (byte) 16
+  to:flip::@1
+flip::@1: from @11 flip
+  (byte) flip::c ← (byte) 16
+  to:flip::@2
+flip::@2: from flip::@1 flip::@2
+  (byte~) flip::$0 ← (byte[256]) buffer1 *idx (byte) flip::srcIdx
+  *((byte[256]) buffer2 + (byte) flip::dstIdx) ← (byte~) flip::$0
+  (byte) flip::srcIdx ← ++ (byte) flip::srcIdx
+  (byte~) flip::$1 ← (byte) flip::dstIdx + (byte) 16
+  (byte) flip::dstIdx ← (byte~) flip::$1
+  (byte) flip::c ← -- (byte) flip::c
+  (boolean~) flip::$2 ← (byte) flip::c != (byte) 0
+  if((boolean~) flip::$2) goto flip::@2
+  to:@11
+@11: from flip::@2
+  (byte) flip::dstIdx ← -- (byte) flip::dstIdx
+  (byte) flip::r ← -- (byte) flip::r
+  (boolean~) flip::$3 ← (byte) flip::r != (byte) 0
+  if((boolean~) flip::$3) goto flip::@1
+  to:@12
+@12: from @11
+  (byte) flip::i ← (byte) 0
+  to:flip::@3
+flip::@3: from @12 flip::@3
+  (byte~) flip::$4 ← (byte[256]) buffer2 *idx (byte) flip::i
+  *((byte[256]) buffer1 + (byte) flip::i) ← (byte~) flip::$4
+  (byte) flip::i ← ++ (byte) flip::i
+  (boolean~) flip::$5 ← (byte) flip::i != (byte) 0
+  if((boolean~) flip::$5) goto flip::@3
+  to:@13
+@13: from flip::@3
+  to:flip::@return
+flip::@return: from @13
+  return 
+  to:@RETURN
+@14: from @10
+  to:@17
+plot: from @19
+  (byte~) plot::$0 ← (byte) 5 * (byte) 40
+  (byte*~) plot::$1 ← (byte[1000]) SCREEN + (byte~) plot::$0
+  (byte*~) plot::$2 ← (byte*~) plot::$1 + (byte) 12
+  (byte*) plot::line ← (byte*~) plot::$2
+  (byte) plot::y ← (byte) 16
+  (byte) plot::i ← (byte) 0
+  to:plot::@1
+plot::@1: from @15 plot
+  (byte) plot::x ← (byte) 0
+  to:plot::@2
+plot::@2: from plot::@1 plot::@2
+  (byte~) plot::$3 ← (byte[256]) buffer1 *idx (byte) plot::i
+  *((byte*) plot::line + (byte) plot::x) ← (byte~) plot::$3
+  (byte) plot::i ← ++ (byte) plot::i
+  (byte) plot::x ← ++ (byte) plot::x
+  (boolean~) plot::$4 ← (byte) plot::x < (byte) 16
+  if((boolean~) plot::$4) goto plot::@2
+  to:@15
+@15: from plot::@2
+  (byte*~) plot::$5 ← (byte*) plot::line + (byte) 40
+  (byte*) plot::line ← (byte*~) plot::$5
+  (byte) plot::y ← -- (byte) plot::y
+  (boolean~) plot::$6 ← (byte) plot::y != (byte) 0
+  if((boolean~) plot::$6) goto plot::@1
+  to:@16
+@16: from @15
+  to:plot::@return
+plot::@return: from @16
+  return 
+  to:@RETURN
+@17: from @14
+  to:@END
+@END: from @17
+
+Completing Phi functions...
+Completing Phi functions...
+Completing Phi functions...
+Completing Phi functions...
+Completing Phi functions...
+Completing Phi functions...
+Completing Phi functions...
+Completing Phi functions...
+Completing Phi functions...
+Completing Phi functions...
+Completing Phi functions...
+Completing Phi functions...
+CONTROL FLOW GRAPH SSA
+@BEGIN: from
+  (byte[1000]) SCREEN#0 ← (word) 1024
+  (byte[256]) buffer1#0 ← (word) 4096
+  (byte[256]) buffer2#0 ← (word) 4352
+  (byte*) RASTER#0 ← (word) 53266
+  call prepare param-assignment
+  to:@18
+@18: from @BEGIN
+  (byte[256]) buffer2#14 ← phi( @BEGIN/(byte[256]) buffer2#0 )
+  (byte[256]) buffer1#21 ← phi( @BEGIN/(byte[256]) buffer1#0 )
+  (byte[1000]) SCREEN#10 ← phi( @BEGIN/(byte[1000]) SCREEN#0 )
+  (byte*) RASTER#7 ← phi( @BEGIN/(byte*) RASTER#0 )
+  to:@1
+@1: from @18 @20
+  (byte[256]) buffer1#20 ← phi( @18/(byte[256]) buffer1#21 @20/(byte[256]) buffer1#22 )
+  (byte[256]) buffer2#13 ← phi( @18/(byte[256]) buffer2#14 @20/(byte[256]) buffer2#15 )
+  (byte[1000]) SCREEN#9 ← phi( @18/(byte[1000]) SCREEN#10 @20/(byte[1000]) SCREEN#11 )
+  (byte*) RASTER#5 ← phi( @18/(byte*) RASTER#7 @20/(byte*) RASTER#8 )
+  (byte) c#0 ← (byte) 25
+  to:@2
+@2: from @1 @6
+  (byte[256]) buffer2#12 ← phi( @1/(byte[256]) buffer2#13 @6/(byte[256]) buffer2#8 )
+  (byte[256]) buffer1#19 ← phi( @1/(byte[256]) buffer1#20 @6/(byte[256]) buffer1#15 )
+  (byte[1000]) SCREEN#8 ← phi( @1/(byte[1000]) SCREEN#9 @6/(byte[1000]) SCREEN#4 )
+  (byte) c#6 ← phi( @1/(byte) c#0 @6/(byte) c#1 )
+  (byte*) RASTER#3 ← phi( @1/(byte*) RASTER#5 @6/(byte*) RASTER#6 )
+  to:@3
+@3: from @2 @3
+  (byte[256]) buffer1#18 ← phi( @2/(byte[256]) buffer1#19 @3/(byte[256]) buffer1#18 )
+  (byte[256]) buffer2#11 ← phi( @2/(byte[256]) buffer2#12 @3/(byte[256]) buffer2#11 )
+  (byte[1000]) SCREEN#7 ← phi( @2/(byte[1000]) SCREEN#8 @3/(byte[1000]) SCREEN#7 )
+  (byte) c#5 ← phi( @2/(byte) c#6 @3/(byte) c#5 )
+  (byte*) RASTER#1 ← phi( @2/(byte*) RASTER#3 @3/(byte*) RASTER#1 )
+  (byte~) $1 ← * (byte*) RASTER#1
+  (boolean~) $2 ← (byte~) $1 != (byte) 254
+  if((boolean~) $2) goto @3
+  to:@5
+@5: from @3
+  (byte[256]) buffer2#10 ← phi( @3/(byte[256]) buffer2#11 )
+  (byte[256]) buffer1#17 ← phi( @3/(byte[256]) buffer1#18 )
+  (byte[1000]) SCREEN#6 ← phi( @3/(byte[1000]) SCREEN#7 )
+  (byte) c#4 ← phi( @3/(byte) c#5 )
+  (byte*) RASTER#4 ← phi( @3/(byte*) RASTER#1 )
+  to:@4
+@4: from @4 @5
+  (byte[256]) buffer1#16 ← phi( @4/(byte[256]) buffer1#16 @5/(byte[256]) buffer1#17 )
+  (byte[256]) buffer2#9 ← phi( @4/(byte[256]) buffer2#9 @5/(byte[256]) buffer2#10 )
+  (byte[1000]) SCREEN#5 ← phi( @4/(byte[1000]) SCREEN#5 @5/(byte[1000]) SCREEN#6 )
+  (byte) c#3 ← phi( @4/(byte) c#3 @5/(byte) c#4 )
+  (byte*) RASTER#2 ← phi( @4/(byte*) RASTER#2 @5/(byte*) RASTER#4 )
+  (byte~) $3 ← * (byte*) RASTER#2
+  (boolean~) $4 ← (byte~) $3 != (byte) 255
+  if((boolean~) $4) goto @4
+  to:@6
+@6: from @4
+  (byte[256]) buffer2#8 ← phi( @4/(byte[256]) buffer2#9 )
+  (byte[256]) buffer1#15 ← phi( @4/(byte[256]) buffer1#16 )
+  (byte[1000]) SCREEN#4 ← phi( @4/(byte[1000]) SCREEN#5 )
+  (byte*) RASTER#6 ← phi( @4/(byte*) RASTER#2 )
+  (byte) c#2 ← phi( @4/(byte) c#3 )
+  (byte) c#1 ← -- (byte) c#2
+  (boolean~) $5 ← (byte) c#1 != (byte) 0
+  if((boolean~) $5) goto @2
+  to:@7
+@7: from @6
+  (byte*) RASTER#10 ← phi( @6/(byte*) RASTER#6 )
+  (byte[256]) buffer1#13 ← phi( @6/(byte[256]) buffer1#15 )
+  (byte[256]) buffer2#7 ← phi( @6/(byte[256]) buffer2#8 )
+  (byte[1000]) SCREEN#3 ← phi( @6/(byte[1000]) SCREEN#4 )
+  call flip param-assignment
+  to:@19
+@19: from @7
+  (byte[256]) buffer2#16 ← phi( @7/(byte[256]) buffer2#7 )
+  (byte*) RASTER#9 ← phi( @7/(byte*) RASTER#10 )
+  (byte[256]) buffer1#14 ← phi( @7/(byte[256]) buffer1#13 )
+  (byte[1000]) SCREEN#2 ← phi( @7/(byte[1000]) SCREEN#3 )
+  call plot param-assignment
+  to:@20
+@20: from @19
+  (byte[256]) buffer2#15 ← phi( @19/(byte[256]) buffer2#16 )
+  (byte[256]) buffer1#22 ← phi( @19/(byte[256]) buffer1#14 )
+  (byte[1000]) SCREEN#11 ← phi( @19/(byte[1000]) SCREEN#2 )
+  (byte*) RASTER#8 ← phi( @19/(byte*) RASTER#9 )
+  if(true) goto @1
+  to:@8
+@8: from @20
+  to:@10
+prepare: from @BEGIN
+  (byte[256]) buffer1#5 ← phi( @BEGIN/(byte[256]) buffer1#0 )
+  (byte) prepare::i#0 ← (byte) 0
+  to:prepare::@1
+prepare::@1: from prepare prepare::@1
+  (byte[256]) buffer1#1 ← phi( prepare/(byte[256]) buffer1#5 prepare::@1/(byte[256]) buffer1#1 )
+  (byte) prepare::i#2 ← phi( prepare/(byte) prepare::i#0 prepare::@1/(byte) prepare::i#1 )
+  *((byte[256]) buffer1#1 + (byte) prepare::i#2) ← (byte) prepare::i#2
+  (byte) prepare::i#1 ← ++ (byte) prepare::i#2
+  (boolean~) prepare::$0 ← (byte) prepare::i#1 != (byte) 0
+  if((boolean~) prepare::$0) goto prepare::@1
+  to:@9
+@9: from prepare::@1
+  to:prepare::@return
+prepare::@return: from @9
+  return 
+  to:@RETURN
+@10: from @8
+  to:@14
+flip: from @7
+  (byte[256]) buffer2#6 ← phi( @7/(byte[256]) buffer2#7 )
+  (byte[256]) buffer1#10 ← phi( @7/(byte[256]) buffer1#13 )
+  (byte) flip::srcIdx#0 ← (byte) 0
+  (byte) flip::dstIdx#0 ← (byte) 15
+  (byte) flip::r#0 ← (byte) 16
+  to:flip::@1
+flip::@1: from @11 flip
+  (byte) flip::r#4 ← phi( @11/(byte) flip::r#1 flip/(byte) flip::r#0 )
+  (byte[256]) buffer1#6 ← phi( @11/(byte[256]) buffer1#9 flip/(byte[256]) buffer1#10 )
+  (byte) flip::srcIdx#3 ← phi( @11/(byte) flip::srcIdx#4 flip/(byte) flip::srcIdx#0 )
+  (byte[256]) buffer2#3 ← phi( @11/(byte[256]) buffer2#5 flip/(byte[256]) buffer2#6 )
+  (byte) flip::dstIdx#5 ← phi( @11/(byte) flip::dstIdx#2 flip/(byte) flip::dstIdx#0 )
+  (byte) flip::c#0 ← (byte) 16
+  to:flip::@2
+flip::@2: from flip::@1 flip::@2
+  (byte) flip::r#3 ← phi( flip::@1/(byte) flip::r#4 flip::@2/(byte) flip::r#3 )
+  (byte) flip::c#2 ← phi( flip::@1/(byte) flip::c#0 flip::@2/(byte) flip::c#1 )
+  (byte) flip::dstIdx#3 ← phi( flip::@1/(byte) flip::dstIdx#5 flip::@2/(byte) flip::dstIdx#1 )
+  (byte[256]) buffer2#1 ← phi( flip::@1/(byte[256]) buffer2#3 flip::@2/(byte[256]) buffer2#1 )
+  (byte) flip::srcIdx#2 ← phi( flip::@1/(byte) flip::srcIdx#3 flip::@2/(byte) flip::srcIdx#1 )
+  (byte[256]) buffer1#2 ← phi( flip::@1/(byte[256]) buffer1#6 flip::@2/(byte[256]) buffer1#2 )
+  (byte~) flip::$0 ← (byte[256]) buffer1#2 *idx (byte) flip::srcIdx#2
+  *((byte[256]) buffer2#1 + (byte) flip::dstIdx#3) ← (byte~) flip::$0
+  (byte) flip::srcIdx#1 ← ++ (byte) flip::srcIdx#2
+  (byte~) flip::$1 ← (byte) flip::dstIdx#3 + (byte) 16
+  (byte) flip::dstIdx#1 ← (byte~) flip::$1
+  (byte) flip::c#1 ← -- (byte) flip::c#2
+  (boolean~) flip::$2 ← (byte) flip::c#1 != (byte) 0
+  if((boolean~) flip::$2) goto flip::@2
+  to:@11
+@11: from flip::@2
+  (byte[256]) buffer2#5 ← phi( flip::@2/(byte[256]) buffer2#1 )
+  (byte) flip::srcIdx#4 ← phi( flip::@2/(byte) flip::srcIdx#1 )
+  (byte[256]) buffer1#9 ← phi( flip::@2/(byte[256]) buffer1#2 )
+  (byte) flip::r#2 ← phi( flip::@2/(byte) flip::r#3 )
+  (byte) flip::dstIdx#4 ← phi( flip::@2/(byte) flip::dstIdx#1 )
+  (byte) flip::dstIdx#2 ← -- (byte) flip::dstIdx#4
+  (byte) flip::r#1 ← -- (byte) flip::r#2
+  (boolean~) flip::$3 ← (byte) flip::r#1 != (byte) 0
+  if((boolean~) flip::$3) goto flip::@1
+  to:@12
+@12: from @11
+  (byte[256]) buffer2#4 ← phi( @11/(byte[256]) buffer2#5 )
+  (byte[256]) buffer1#7 ← phi( @11/(byte[256]) buffer1#9 )
+  (byte) flip::i#0 ← (byte) 0
+  to:flip::@3
+flip::@3: from @12 flip::@3
+  (byte[256]) buffer1#3 ← phi( @12/(byte[256]) buffer1#7 flip::@3/(byte[256]) buffer1#3 )
+  (byte) flip::i#2 ← phi( @12/(byte) flip::i#0 flip::@3/(byte) flip::i#1 )
+  (byte[256]) buffer2#2 ← phi( @12/(byte[256]) buffer2#4 flip::@3/(byte[256]) buffer2#2 )
+  (byte~) flip::$4 ← (byte[256]) buffer2#2 *idx (byte) flip::i#2
+  *((byte[256]) buffer1#3 + (byte) flip::i#2) ← (byte~) flip::$4
+  (byte) flip::i#1 ← ++ (byte) flip::i#2
+  (boolean~) flip::$5 ← (byte) flip::i#1 != (byte) 0
+  if((boolean~) flip::$5) goto flip::@3
+  to:@13
+@13: from flip::@3
+  to:flip::@return
+flip::@return: from @13
+  return 
+  to:@RETURN
+@14: from @10
+  to:@17
+plot: from @19
+  (byte[256]) buffer1#12 ← phi( @19/(byte[256]) buffer1#14 )
+  (byte[1000]) SCREEN#1 ← phi( @19/(byte[1000]) SCREEN#2 )
+  (byte~) plot::$0 ← (byte) 5 * (byte) 40
+  (byte*~) plot::$1 ← (byte[1000]) SCREEN#1 + (byte~) plot::$0
+  (byte*~) plot::$2 ← (byte*~) plot::$1 + (byte) 12
+  (byte*) plot::line#0 ← (byte*~) plot::$2
+  (byte) plot::y#0 ← (byte) 16
+  (byte) plot::i#0 ← (byte) 0
+  to:plot::@1
+plot::@1: from @15 plot
+  (byte) plot::y#4 ← phi( @15/(byte) plot::y#1 plot/(byte) plot::y#0 )
+  (byte[256]) buffer1#8 ← phi( @15/(byte[256]) buffer1#11 plot/(byte[256]) buffer1#12 )
+  (byte) plot::i#3 ← phi( @15/(byte) plot::i#4 plot/(byte) plot::i#0 )
+  (byte*) plot::line#4 ← phi( @15/(byte*) plot::line#1 plot/(byte*) plot::line#0 )
+  (byte) plot::x#0 ← (byte) 0
+  to:plot::@2
+plot::@2: from plot::@1 plot::@2
+  (byte) plot::y#3 ← phi( plot::@1/(byte) plot::y#4 plot::@2/(byte) plot::y#3 )
+  (byte) plot::x#2 ← phi( plot::@1/(byte) plot::x#0 plot::@2/(byte) plot::x#1 )
+  (byte*) plot::line#2 ← phi( plot::@1/(byte*) plot::line#4 plot::@2/(byte*) plot::line#2 )
+  (byte) plot::i#2 ← phi( plot::@1/(byte) plot::i#3 plot::@2/(byte) plot::i#1 )
+  (byte[256]) buffer1#4 ← phi( plot::@1/(byte[256]) buffer1#8 plot::@2/(byte[256]) buffer1#4 )
+  (byte~) plot::$3 ← (byte[256]) buffer1#4 *idx (byte) plot::i#2
+  *((byte*) plot::line#2 + (byte) plot::x#2) ← (byte~) plot::$3
+  (byte) plot::i#1 ← ++ (byte) plot::i#2
+  (byte) plot::x#1 ← ++ (byte) plot::x#2
+  (boolean~) plot::$4 ← (byte) plot::x#1 < (byte) 16
+  if((boolean~) plot::$4) goto plot::@2
+  to:@15
+@15: from plot::@2
+  (byte) plot::i#4 ← phi( plot::@2/(byte) plot::i#1 )
+  (byte[256]) buffer1#11 ← phi( plot::@2/(byte[256]) buffer1#4 )
+  (byte) plot::y#2 ← phi( plot::@2/(byte) plot::y#3 )
+  (byte*) plot::line#3 ← phi( plot::@2/(byte*) plot::line#2 )
+  (byte*~) plot::$5 ← (byte*) plot::line#3 + (byte) 40
+  (byte*) plot::line#1 ← (byte*~) plot::$5
+  (byte) plot::y#1 ← -- (byte) plot::y#2
+  (boolean~) plot::$6 ← (byte) plot::y#1 != (byte) 0
+  if((boolean~) plot::$6) goto plot::@1
+  to:@16
+@16: from @15
+  to:plot::@return
+plot::@return: from @16
+  return 
+  to:@RETURN
+@17: from @14
+  to:@END
+@END: from @17
+
+CONTROL FLOW GRAPH WITH ASSIGNMENT CALL & RETURN
+@BEGIN: from
+  (byte[1000]) SCREEN#0 ← (word) 1024
+  (byte[256]) buffer1#0 ← (word) 4096
+  (byte[256]) buffer2#0 ← (word) 4352
+  (byte*) RASTER#0 ← (word) 53266
+  call prepare param-assignment
+  to:@18
+@18: from @BEGIN
+  (byte[256]) buffer2#14 ← phi( @BEGIN/(byte[256]) buffer2#0 )
+  (byte[256]) buffer1#21 ← phi( @BEGIN/(byte[256]) buffer1#0 )
+  (byte[1000]) SCREEN#10 ← phi( @BEGIN/(byte[1000]) SCREEN#0 )
+  (byte*) RASTER#7 ← phi( @BEGIN/(byte*) RASTER#0 )
+  to:@1
+@1: from @18 @20
+  (byte[256]) buffer1#20 ← phi( @18/(byte[256]) buffer1#21 @20/(byte[256]) buffer1#22 )
+  (byte[256]) buffer2#13 ← phi( @18/(byte[256]) buffer2#14 @20/(byte[256]) buffer2#15 )
+  (byte[1000]) SCREEN#9 ← phi( @18/(byte[1000]) SCREEN#10 @20/(byte[1000]) SCREEN#11 )
+  (byte*) RASTER#5 ← phi( @18/(byte*) RASTER#7 @20/(byte*) RASTER#8 )
+  (byte) c#0 ← (byte) 25
+  to:@2
+@2: from @1 @6
+  (byte[256]) buffer2#12 ← phi( @1/(byte[256]) buffer2#13 @6/(byte[256]) buffer2#8 )
+  (byte[256]) buffer1#19 ← phi( @1/(byte[256]) buffer1#20 @6/(byte[256]) buffer1#15 )
+  (byte[1000]) SCREEN#8 ← phi( @1/(byte[1000]) SCREEN#9 @6/(byte[1000]) SCREEN#4 )
+  (byte) c#6 ← phi( @1/(byte) c#0 @6/(byte) c#1 )
+  (byte*) RASTER#3 ← phi( @1/(byte*) RASTER#5 @6/(byte*) RASTER#6 )
+  to:@3
+@3: from @2 @3
+  (byte[256]) buffer1#18 ← phi( @2/(byte[256]) buffer1#19 @3/(byte[256]) buffer1#18 )
+  (byte[256]) buffer2#11 ← phi( @2/(byte[256]) buffer2#12 @3/(byte[256]) buffer2#11 )
+  (byte[1000]) SCREEN#7 ← phi( @2/(byte[1000]) SCREEN#8 @3/(byte[1000]) SCREEN#7 )
+  (byte) c#5 ← phi( @2/(byte) c#6 @3/(byte) c#5 )
+  (byte*) RASTER#1 ← phi( @2/(byte*) RASTER#3 @3/(byte*) RASTER#1 )
+  (byte~) $1 ← * (byte*) RASTER#1
+  (boolean~) $2 ← (byte~) $1 != (byte) 254
+  if((boolean~) $2) goto @3
+  to:@5
+@5: from @3
+  (byte[256]) buffer2#10 ← phi( @3/(byte[256]) buffer2#11 )
+  (byte[256]) buffer1#17 ← phi( @3/(byte[256]) buffer1#18 )
+  (byte[1000]) SCREEN#6 ← phi( @3/(byte[1000]) SCREEN#7 )
+  (byte) c#4 ← phi( @3/(byte) c#5 )
+  (byte*) RASTER#4 ← phi( @3/(byte*) RASTER#1 )
+  to:@4
+@4: from @4 @5
+  (byte[256]) buffer1#16 ← phi( @4/(byte[256]) buffer1#16 @5/(byte[256]) buffer1#17 )
+  (byte[256]) buffer2#9 ← phi( @4/(byte[256]) buffer2#9 @5/(byte[256]) buffer2#10 )
+  (byte[1000]) SCREEN#5 ← phi( @4/(byte[1000]) SCREEN#5 @5/(byte[1000]) SCREEN#6 )
+  (byte) c#3 ← phi( @4/(byte) c#3 @5/(byte) c#4 )
+  (byte*) RASTER#2 ← phi( @4/(byte*) RASTER#2 @5/(byte*) RASTER#4 )
+  (byte~) $3 ← * (byte*) RASTER#2
+  (boolean~) $4 ← (byte~) $3 != (byte) 255
+  if((boolean~) $4) goto @4
+  to:@6
+@6: from @4
+  (byte[256]) buffer2#8 ← phi( @4/(byte[256]) buffer2#9 )
+  (byte[256]) buffer1#15 ← phi( @4/(byte[256]) buffer1#16 )
+  (byte[1000]) SCREEN#4 ← phi( @4/(byte[1000]) SCREEN#5 )
+  (byte*) RASTER#6 ← phi( @4/(byte*) RASTER#2 )
+  (byte) c#2 ← phi( @4/(byte) c#3 )
+  (byte) c#1 ← -- (byte) c#2
+  (boolean~) $5 ← (byte) c#1 != (byte) 0
+  if((boolean~) $5) goto @2
+  to:@7
+@7: from @6
+  (byte*) RASTER#10 ← phi( @6/(byte*) RASTER#6 )
+  (byte[256]) buffer1#13 ← phi( @6/(byte[256]) buffer1#15 )
+  (byte[256]) buffer2#7 ← phi( @6/(byte[256]) buffer2#8 )
+  (byte[1000]) SCREEN#3 ← phi( @6/(byte[1000]) SCREEN#4 )
+  call flip param-assignment
+  to:@19
+@19: from @7
+  (byte[256]) buffer2#16 ← phi( @7/(byte[256]) buffer2#7 )
+  (byte*) RASTER#9 ← phi( @7/(byte*) RASTER#10 )
+  (byte[256]) buffer1#14 ← phi( @7/(byte[256]) buffer1#13 )
+  (byte[1000]) SCREEN#2 ← phi( @7/(byte[1000]) SCREEN#3 )
+  call plot param-assignment
+  to:@20
+@20: from @19
+  (byte[256]) buffer2#15 ← phi( @19/(byte[256]) buffer2#16 )
+  (byte[256]) buffer1#22 ← phi( @19/(byte[256]) buffer1#14 )
+  (byte[1000]) SCREEN#11 ← phi( @19/(byte[1000]) SCREEN#2 )
+  (byte*) RASTER#8 ← phi( @19/(byte*) RASTER#9 )
+  if(true) goto @1
+  to:@8
+@8: from @20
+  to:@10
+prepare: from @BEGIN
+  (byte[256]) buffer1#5 ← phi( @BEGIN/(byte[256]) buffer1#0 )
+  (byte) prepare::i#0 ← (byte) 0
+  to:prepare::@1
+prepare::@1: from prepare prepare::@1
+  (byte[256]) buffer1#1 ← phi( prepare/(byte[256]) buffer1#5 prepare::@1/(byte[256]) buffer1#1 )
+  (byte) prepare::i#2 ← phi( prepare/(byte) prepare::i#0 prepare::@1/(byte) prepare::i#1 )
+  *((byte[256]) buffer1#1 + (byte) prepare::i#2) ← (byte) prepare::i#2
+  (byte) prepare::i#1 ← ++ (byte) prepare::i#2
+  (boolean~) prepare::$0 ← (byte) prepare::i#1 != (byte) 0
+  if((boolean~) prepare::$0) goto prepare::@1
+  to:@9
+@9: from prepare::@1
+  to:prepare::@return
+prepare::@return: from @9
+  return 
+  to:@RETURN
+@10: from @8
+  to:@14
+flip: from @7
+  (byte[256]) buffer2#6 ← phi( @7/(byte[256]) buffer2#7 )
+  (byte[256]) buffer1#10 ← phi( @7/(byte[256]) buffer1#13 )
+  (byte) flip::srcIdx#0 ← (byte) 0
+  (byte) flip::dstIdx#0 ← (byte) 15
+  (byte) flip::r#0 ← (byte) 16
+  to:flip::@1
+flip::@1: from @11 flip
+  (byte) flip::r#4 ← phi( @11/(byte) flip::r#1 flip/(byte) flip::r#0 )
+  (byte[256]) buffer1#6 ← phi( @11/(byte[256]) buffer1#9 flip/(byte[256]) buffer1#10 )
+  (byte) flip::srcIdx#3 ← phi( @11/(byte) flip::srcIdx#4 flip/(byte) flip::srcIdx#0 )
+  (byte[256]) buffer2#3 ← phi( @11/(byte[256]) buffer2#5 flip/(byte[256]) buffer2#6 )
+  (byte) flip::dstIdx#5 ← phi( @11/(byte) flip::dstIdx#2 flip/(byte) flip::dstIdx#0 )
+  (byte) flip::c#0 ← (byte) 16
+  to:flip::@2
+flip::@2: from flip::@1 flip::@2
+  (byte) flip::r#3 ← phi( flip::@1/(byte) flip::r#4 flip::@2/(byte) flip::r#3 )
+  (byte) flip::c#2 ← phi( flip::@1/(byte) flip::c#0 flip::@2/(byte) flip::c#1 )
+  (byte) flip::dstIdx#3 ← phi( flip::@1/(byte) flip::dstIdx#5 flip::@2/(byte) flip::dstIdx#1 )
+  (byte[256]) buffer2#1 ← phi( flip::@1/(byte[256]) buffer2#3 flip::@2/(byte[256]) buffer2#1 )
+  (byte) flip::srcIdx#2 ← phi( flip::@1/(byte) flip::srcIdx#3 flip::@2/(byte) flip::srcIdx#1 )
+  (byte[256]) buffer1#2 ← phi( flip::@1/(byte[256]) buffer1#6 flip::@2/(byte[256]) buffer1#2 )
+  (byte~) flip::$0 ← (byte[256]) buffer1#2 *idx (byte) flip::srcIdx#2
+  *((byte[256]) buffer2#1 + (byte) flip::dstIdx#3) ← (byte~) flip::$0
+  (byte) flip::srcIdx#1 ← ++ (byte) flip::srcIdx#2
+  (byte~) flip::$1 ← (byte) flip::dstIdx#3 + (byte) 16
+  (byte) flip::dstIdx#1 ← (byte~) flip::$1
+  (byte) flip::c#1 ← -- (byte) flip::c#2
+  (boolean~) flip::$2 ← (byte) flip::c#1 != (byte) 0
+  if((boolean~) flip::$2) goto flip::@2
+  to:@11
+@11: from flip::@2
+  (byte[256]) buffer2#5 ← phi( flip::@2/(byte[256]) buffer2#1 )
+  (byte) flip::srcIdx#4 ← phi( flip::@2/(byte) flip::srcIdx#1 )
+  (byte[256]) buffer1#9 ← phi( flip::@2/(byte[256]) buffer1#2 )
+  (byte) flip::r#2 ← phi( flip::@2/(byte) flip::r#3 )
+  (byte) flip::dstIdx#4 ← phi( flip::@2/(byte) flip::dstIdx#1 )
+  (byte) flip::dstIdx#2 ← -- (byte) flip::dstIdx#4
+  (byte) flip::r#1 ← -- (byte) flip::r#2
+  (boolean~) flip::$3 ← (byte) flip::r#1 != (byte) 0
+  if((boolean~) flip::$3) goto flip::@1
+  to:@12
+@12: from @11
+  (byte[256]) buffer2#4 ← phi( @11/(byte[256]) buffer2#5 )
+  (byte[256]) buffer1#7 ← phi( @11/(byte[256]) buffer1#9 )
+  (byte) flip::i#0 ← (byte) 0
+  to:flip::@3
+flip::@3: from @12 flip::@3
+  (byte[256]) buffer1#3 ← phi( @12/(byte[256]) buffer1#7 flip::@3/(byte[256]) buffer1#3 )
+  (byte) flip::i#2 ← phi( @12/(byte) flip::i#0 flip::@3/(byte) flip::i#1 )
+  (byte[256]) buffer2#2 ← phi( @12/(byte[256]) buffer2#4 flip::@3/(byte[256]) buffer2#2 )
+  (byte~) flip::$4 ← (byte[256]) buffer2#2 *idx (byte) flip::i#2
+  *((byte[256]) buffer1#3 + (byte) flip::i#2) ← (byte~) flip::$4
+  (byte) flip::i#1 ← ++ (byte) flip::i#2
+  (boolean~) flip::$5 ← (byte) flip::i#1 != (byte) 0
+  if((boolean~) flip::$5) goto flip::@3
+  to:@13
+@13: from flip::@3
+  to:flip::@return
+flip::@return: from @13
+  return 
+  to:@RETURN
+@14: from @10
+  to:@17
+plot: from @19
+  (byte[256]) buffer1#12 ← phi( @19/(byte[256]) buffer1#14 )
+  (byte[1000]) SCREEN#1 ← phi( @19/(byte[1000]) SCREEN#2 )
+  (byte~) plot::$0 ← (byte) 5 * (byte) 40
+  (byte*~) plot::$1 ← (byte[1000]) SCREEN#1 + (byte~) plot::$0
+  (byte*~) plot::$2 ← (byte*~) plot::$1 + (byte) 12
+  (byte*) plot::line#0 ← (byte*~) plot::$2
+  (byte) plot::y#0 ← (byte) 16
+  (byte) plot::i#0 ← (byte) 0
+  to:plot::@1
+plot::@1: from @15 plot
+  (byte) plot::y#4 ← phi( @15/(byte) plot::y#1 plot/(byte) plot::y#0 )
+  (byte[256]) buffer1#8 ← phi( @15/(byte[256]) buffer1#11 plot/(byte[256]) buffer1#12 )
+  (byte) plot::i#3 ← phi( @15/(byte) plot::i#4 plot/(byte) plot::i#0 )
+  (byte*) plot::line#4 ← phi( @15/(byte*) plot::line#1 plot/(byte*) plot::line#0 )
+  (byte) plot::x#0 ← (byte) 0
+  to:plot::@2
+plot::@2: from plot::@1 plot::@2
+  (byte) plot::y#3 ← phi( plot::@1/(byte) plot::y#4 plot::@2/(byte) plot::y#3 )
+  (byte) plot::x#2 ← phi( plot::@1/(byte) plot::x#0 plot::@2/(byte) plot::x#1 )
+  (byte*) plot::line#2 ← phi( plot::@1/(byte*) plot::line#4 plot::@2/(byte*) plot::line#2 )
+  (byte) plot::i#2 ← phi( plot::@1/(byte) plot::i#3 plot::@2/(byte) plot::i#1 )
+  (byte[256]) buffer1#4 ← phi( plot::@1/(byte[256]) buffer1#8 plot::@2/(byte[256]) buffer1#4 )
+  (byte~) plot::$3 ← (byte[256]) buffer1#4 *idx (byte) plot::i#2
+  *((byte*) plot::line#2 + (byte) plot::x#2) ← (byte~) plot::$3
+  (byte) plot::i#1 ← ++ (byte) plot::i#2
+  (byte) plot::x#1 ← ++ (byte) plot::x#2
+  (boolean~) plot::$4 ← (byte) plot::x#1 < (byte) 16
+  if((boolean~) plot::$4) goto plot::@2
+  to:@15
+@15: from plot::@2
+  (byte) plot::i#4 ← phi( plot::@2/(byte) plot::i#1 )
+  (byte[256]) buffer1#11 ← phi( plot::@2/(byte[256]) buffer1#4 )
+  (byte) plot::y#2 ← phi( plot::@2/(byte) plot::y#3 )
+  (byte*) plot::line#3 ← phi( plot::@2/(byte*) plot::line#2 )
+  (byte*~) plot::$5 ← (byte*) plot::line#3 + (byte) 40
+  (byte*) plot::line#1 ← (byte*~) plot::$5
+  (byte) plot::y#1 ← -- (byte) plot::y#2
+  (boolean~) plot::$6 ← (byte) plot::y#1 != (byte) 0
+  if((boolean~) plot::$6) goto plot::@1
+  to:@16
+@16: from @15
+  to:plot::@return
+plot::@return: from @16
+  return 
+  to:@RETURN
+@17: from @14
+  to:@END
+@END: from @17
+
+Culled Empty Block (label) @8
+Culled Empty Block (label) @9
+Culled Empty Block (label) @10
+Culled Empty Block (label) @13
+Culled Empty Block (label) @14
+Culled Empty Block (label) @16
+Culled Empty Block (label) @17
+Succesful SSA optimization dk.camelot64.kickc.icl.Pass2CullEmptyBlocks@21a34544
+CONTROL FLOW GRAPH
+@BEGIN: from
+  (byte[1000]) SCREEN#0 ← (word) 1024
+  (byte[256]) buffer1#0 ← (word) 4096
+  (byte[256]) buffer2#0 ← (word) 4352
+  (byte*) RASTER#0 ← (word) 53266
+  call prepare param-assignment
+  to:@18
+@18: from @BEGIN
+  (byte[256]) buffer2#14 ← phi( @BEGIN/(byte[256]) buffer2#0 )
+  (byte[256]) buffer1#21 ← phi( @BEGIN/(byte[256]) buffer1#0 )
+  (byte[1000]) SCREEN#10 ← phi( @BEGIN/(byte[1000]) SCREEN#0 )
+  (byte*) RASTER#7 ← phi( @BEGIN/(byte*) RASTER#0 )
+  to:@1
+@1: from @18 @20
+  (byte[256]) buffer1#20 ← phi( @18/(byte[256]) buffer1#21 @20/(byte[256]) buffer1#22 )
+  (byte[256]) buffer2#13 ← phi( @18/(byte[256]) buffer2#14 @20/(byte[256]) buffer2#15 )
+  (byte[1000]) SCREEN#9 ← phi( @18/(byte[1000]) SCREEN#10 @20/(byte[1000]) SCREEN#11 )
+  (byte*) RASTER#5 ← phi( @18/(byte*) RASTER#7 @20/(byte*) RASTER#8 )
+  (byte) c#0 ← (byte) 25
+  to:@2
+@2: from @1 @6
+  (byte[256]) buffer2#12 ← phi( @1/(byte[256]) buffer2#13 @6/(byte[256]) buffer2#8 )
+  (byte[256]) buffer1#19 ← phi( @1/(byte[256]) buffer1#20 @6/(byte[256]) buffer1#15 )
+  (byte[1000]) SCREEN#8 ← phi( @1/(byte[1000]) SCREEN#9 @6/(byte[1000]) SCREEN#4 )
+  (byte) c#6 ← phi( @1/(byte) c#0 @6/(byte) c#1 )
+  (byte*) RASTER#3 ← phi( @1/(byte*) RASTER#5 @6/(byte*) RASTER#6 )
+  to:@3
+@3: from @2 @3
+  (byte[256]) buffer1#18 ← phi( @2/(byte[256]) buffer1#19 @3/(byte[256]) buffer1#18 )
+  (byte[256]) buffer2#11 ← phi( @2/(byte[256]) buffer2#12 @3/(byte[256]) buffer2#11 )
+  (byte[1000]) SCREEN#7 ← phi( @2/(byte[1000]) SCREEN#8 @3/(byte[1000]) SCREEN#7 )
+  (byte) c#5 ← phi( @2/(byte) c#6 @3/(byte) c#5 )
+  (byte*) RASTER#1 ← phi( @2/(byte*) RASTER#3 @3/(byte*) RASTER#1 )
+  (byte~) $1 ← * (byte*) RASTER#1
+  (boolean~) $2 ← (byte~) $1 != (byte) 254
+  if((boolean~) $2) goto @3
+  to:@5
+@5: from @3
+  (byte[256]) buffer2#10 ← phi( @3/(byte[256]) buffer2#11 )
+  (byte[256]) buffer1#17 ← phi( @3/(byte[256]) buffer1#18 )
+  (byte[1000]) SCREEN#6 ← phi( @3/(byte[1000]) SCREEN#7 )
+  (byte) c#4 ← phi( @3/(byte) c#5 )
+  (byte*) RASTER#4 ← phi( @3/(byte*) RASTER#1 )
+  to:@4
+@4: from @4 @5
+  (byte[256]) buffer1#16 ← phi( @4/(byte[256]) buffer1#16 @5/(byte[256]) buffer1#17 )
+  (byte[256]) buffer2#9 ← phi( @4/(byte[256]) buffer2#9 @5/(byte[256]) buffer2#10 )
+  (byte[1000]) SCREEN#5 ← phi( @4/(byte[1000]) SCREEN#5 @5/(byte[1000]) SCREEN#6 )
+  (byte) c#3 ← phi( @4/(byte) c#3 @5/(byte) c#4 )
+  (byte*) RASTER#2 ← phi( @4/(byte*) RASTER#2 @5/(byte*) RASTER#4 )
+  (byte~) $3 ← * (byte*) RASTER#2
+  (boolean~) $4 ← (byte~) $3 != (byte) 255
+  if((boolean~) $4) goto @4
+  to:@6
+@6: from @4
+  (byte[256]) buffer2#8 ← phi( @4/(byte[256]) buffer2#9 )
+  (byte[256]) buffer1#15 ← phi( @4/(byte[256]) buffer1#16 )
+  (byte[1000]) SCREEN#4 ← phi( @4/(byte[1000]) SCREEN#5 )
+  (byte*) RASTER#6 ← phi( @4/(byte*) RASTER#2 )
+  (byte) c#2 ← phi( @4/(byte) c#3 )
+  (byte) c#1 ← -- (byte) c#2
+  (boolean~) $5 ← (byte) c#1 != (byte) 0
+  if((boolean~) $5) goto @2
+  to:@7
+@7: from @6
+  (byte*) RASTER#10 ← phi( @6/(byte*) RASTER#6 )
+  (byte[256]) buffer1#13 ← phi( @6/(byte[256]) buffer1#15 )
+  (byte[256]) buffer2#7 ← phi( @6/(byte[256]) buffer2#8 )
+  (byte[1000]) SCREEN#3 ← phi( @6/(byte[1000]) SCREEN#4 )
+  call flip param-assignment
+  to:@19
+@19: from @7
+  (byte[256]) buffer2#16 ← phi( @7/(byte[256]) buffer2#7 )
+  (byte*) RASTER#9 ← phi( @7/(byte*) RASTER#10 )
+  (byte[256]) buffer1#14 ← phi( @7/(byte[256]) buffer1#13 )
+  (byte[1000]) SCREEN#2 ← phi( @7/(byte[1000]) SCREEN#3 )
+  call plot param-assignment
+  to:@20
+@20: from @19
+  (byte[256]) buffer2#15 ← phi( @19/(byte[256]) buffer2#16 )
+  (byte[256]) buffer1#22 ← phi( @19/(byte[256]) buffer1#14 )
+  (byte[1000]) SCREEN#11 ← phi( @19/(byte[1000]) SCREEN#2 )
+  (byte*) RASTER#8 ← phi( @19/(byte*) RASTER#9 )
+  if(true) goto @1
+  to:@END
+prepare: from @BEGIN
+  (byte[256]) buffer1#5 ← phi( @BEGIN/(byte[256]) buffer1#0 )
+  (byte) prepare::i#0 ← (byte) 0
+  to:prepare::@1
+prepare::@1: from prepare prepare::@1
+  (byte[256]) buffer1#1 ← phi( prepare/(byte[256]) buffer1#5 prepare::@1/(byte[256]) buffer1#1 )
+  (byte) prepare::i#2 ← phi( prepare/(byte) prepare::i#0 prepare::@1/(byte) prepare::i#1 )
+  *((byte[256]) buffer1#1 + (byte) prepare::i#2) ← (byte) prepare::i#2
+  (byte) prepare::i#1 ← ++ (byte) prepare::i#2
+  (boolean~) prepare::$0 ← (byte) prepare::i#1 != (byte) 0
+  if((boolean~) prepare::$0) goto prepare::@1
+  to:prepare::@return
+prepare::@return: from prepare::@1
+  return 
+  to:@RETURN
+flip: from @7
+  (byte[256]) buffer2#6 ← phi( @7/(byte[256]) buffer2#7 )
+  (byte[256]) buffer1#10 ← phi( @7/(byte[256]) buffer1#13 )
+  (byte) flip::srcIdx#0 ← (byte) 0
+  (byte) flip::dstIdx#0 ← (byte) 15
+  (byte) flip::r#0 ← (byte) 16
+  to:flip::@1
+flip::@1: from @11 flip
+  (byte) flip::r#4 ← phi( @11/(byte) flip::r#1 flip/(byte) flip::r#0 )
+  (byte[256]) buffer1#6 ← phi( @11/(byte[256]) buffer1#9 flip/(byte[256]) buffer1#10 )
+  (byte) flip::srcIdx#3 ← phi( @11/(byte) flip::srcIdx#4 flip/(byte) flip::srcIdx#0 )
+  (byte[256]) buffer2#3 ← phi( @11/(byte[256]) buffer2#5 flip/(byte[256]) buffer2#6 )
+  (byte) flip::dstIdx#5 ← phi( @11/(byte) flip::dstIdx#2 flip/(byte) flip::dstIdx#0 )
+  (byte) flip::c#0 ← (byte) 16
+  to:flip::@2
+flip::@2: from flip::@1 flip::@2
+  (byte) flip::r#3 ← phi( flip::@1/(byte) flip::r#4 flip::@2/(byte) flip::r#3 )
+  (byte) flip::c#2 ← phi( flip::@1/(byte) flip::c#0 flip::@2/(byte) flip::c#1 )
+  (byte) flip::dstIdx#3 ← phi( flip::@1/(byte) flip::dstIdx#5 flip::@2/(byte) flip::dstIdx#1 )
+  (byte[256]) buffer2#1 ← phi( flip::@1/(byte[256]) buffer2#3 flip::@2/(byte[256]) buffer2#1 )
+  (byte) flip::srcIdx#2 ← phi( flip::@1/(byte) flip::srcIdx#3 flip::@2/(byte) flip::srcIdx#1 )
+  (byte[256]) buffer1#2 ← phi( flip::@1/(byte[256]) buffer1#6 flip::@2/(byte[256]) buffer1#2 )
+  (byte~) flip::$0 ← (byte[256]) buffer1#2 *idx (byte) flip::srcIdx#2
+  *((byte[256]) buffer2#1 + (byte) flip::dstIdx#3) ← (byte~) flip::$0
+  (byte) flip::srcIdx#1 ← ++ (byte) flip::srcIdx#2
+  (byte~) flip::$1 ← (byte) flip::dstIdx#3 + (byte) 16
+  (byte) flip::dstIdx#1 ← (byte~) flip::$1
+  (byte) flip::c#1 ← -- (byte) flip::c#2
+  (boolean~) flip::$2 ← (byte) flip::c#1 != (byte) 0
+  if((boolean~) flip::$2) goto flip::@2
+  to:@11
+@11: from flip::@2
+  (byte[256]) buffer2#5 ← phi( flip::@2/(byte[256]) buffer2#1 )
+  (byte) flip::srcIdx#4 ← phi( flip::@2/(byte) flip::srcIdx#1 )
+  (byte[256]) buffer1#9 ← phi( flip::@2/(byte[256]) buffer1#2 )
+  (byte) flip::r#2 ← phi( flip::@2/(byte) flip::r#3 )
+  (byte) flip::dstIdx#4 ← phi( flip::@2/(byte) flip::dstIdx#1 )
+  (byte) flip::dstIdx#2 ← -- (byte) flip::dstIdx#4
+  (byte) flip::r#1 ← -- (byte) flip::r#2
+  (boolean~) flip::$3 ← (byte) flip::r#1 != (byte) 0
+  if((boolean~) flip::$3) goto flip::@1
+  to:@12
+@12: from @11
+  (byte[256]) buffer2#4 ← phi( @11/(byte[256]) buffer2#5 )
+  (byte[256]) buffer1#7 ← phi( @11/(byte[256]) buffer1#9 )
+  (byte) flip::i#0 ← (byte) 0
+  to:flip::@3
+flip::@3: from @12 flip::@3
+  (byte[256]) buffer1#3 ← phi( @12/(byte[256]) buffer1#7 flip::@3/(byte[256]) buffer1#3 )
+  (byte) flip::i#2 ← phi( @12/(byte) flip::i#0 flip::@3/(byte) flip::i#1 )
+  (byte[256]) buffer2#2 ← phi( @12/(byte[256]) buffer2#4 flip::@3/(byte[256]) buffer2#2 )
+  (byte~) flip::$4 ← (byte[256]) buffer2#2 *idx (byte) flip::i#2
+  *((byte[256]) buffer1#3 + (byte) flip::i#2) ← (byte~) flip::$4
+  (byte) flip::i#1 ← ++ (byte) flip::i#2
+  (boolean~) flip::$5 ← (byte) flip::i#1 != (byte) 0
+  if((boolean~) flip::$5) goto flip::@3
+  to:flip::@return
+flip::@return: from flip::@3
+  return 
+  to:@RETURN
+plot: from @19
+  (byte[256]) buffer1#12 ← phi( @19/(byte[256]) buffer1#14 )
+  (byte[1000]) SCREEN#1 ← phi( @19/(byte[1000]) SCREEN#2 )
+  (byte~) plot::$0 ← (byte) 5 * (byte) 40
+  (byte*~) plot::$1 ← (byte[1000]) SCREEN#1 + (byte~) plot::$0
+  (byte*~) plot::$2 ← (byte*~) plot::$1 + (byte) 12
+  (byte*) plot::line#0 ← (byte*~) plot::$2
+  (byte) plot::y#0 ← (byte) 16
+  (byte) plot::i#0 ← (byte) 0
+  to:plot::@1
+plot::@1: from @15 plot
+  (byte) plot::y#4 ← phi( @15/(byte) plot::y#1 plot/(byte) plot::y#0 )
+  (byte[256]) buffer1#8 ← phi( @15/(byte[256]) buffer1#11 plot/(byte[256]) buffer1#12 )
+  (byte) plot::i#3 ← phi( @15/(byte) plot::i#4 plot/(byte) plot::i#0 )
+  (byte*) plot::line#4 ← phi( @15/(byte*) plot::line#1 plot/(byte*) plot::line#0 )
+  (byte) plot::x#0 ← (byte) 0
+  to:plot::@2
+plot::@2: from plot::@1 plot::@2
+  (byte) plot::y#3 ← phi( plot::@1/(byte) plot::y#4 plot::@2/(byte) plot::y#3 )
+  (byte) plot::x#2 ← phi( plot::@1/(byte) plot::x#0 plot::@2/(byte) plot::x#1 )
+  (byte*) plot::line#2 ← phi( plot::@1/(byte*) plot::line#4 plot::@2/(byte*) plot::line#2 )
+  (byte) plot::i#2 ← phi( plot::@1/(byte) plot::i#3 plot::@2/(byte) plot::i#1 )
+  (byte[256]) buffer1#4 ← phi( plot::@1/(byte[256]) buffer1#8 plot::@2/(byte[256]) buffer1#4 )
+  (byte~) plot::$3 ← (byte[256]) buffer1#4 *idx (byte) plot::i#2
+  *((byte*) plot::line#2 + (byte) plot::x#2) ← (byte~) plot::$3
+  (byte) plot::i#1 ← ++ (byte) plot::i#2
+  (byte) plot::x#1 ← ++ (byte) plot::x#2
+  (boolean~) plot::$4 ← (byte) plot::x#1 < (byte) 16
+  if((boolean~) plot::$4) goto plot::@2
+  to:@15
+@15: from plot::@2
+  (byte) plot::i#4 ← phi( plot::@2/(byte) plot::i#1 )
+  (byte[256]) buffer1#11 ← phi( plot::@2/(byte[256]) buffer1#4 )
+  (byte) plot::y#2 ← phi( plot::@2/(byte) plot::y#3 )
+  (byte*) plot::line#3 ← phi( plot::@2/(byte*) plot::line#2 )
+  (byte*~) plot::$5 ← (byte*) plot::line#3 + (byte) 40
+  (byte*) plot::line#1 ← (byte*~) plot::$5
+  (byte) plot::y#1 ← -- (byte) plot::y#2
+  (boolean~) plot::$6 ← (byte) plot::y#1 != (byte) 0
+  if((boolean~) plot::$6) goto plot::@1
+  to:plot::@return
+plot::@return: from @15
+  return 
+  to:@RETURN
+@END: from @20
+
+Constant (byte[1000]) SCREEN#0 (word) 1024
+Constant (byte[256]) buffer1#0 (word) 4096
+Constant (byte[256]) buffer2#0 (word) 4352
+Constant (byte*) RASTER#0 (word) 53266
+Constant (byte) c#0 (byte) 25
+Constant (byte) prepare::i#0 (byte) 0
+Constant (byte) flip::srcIdx#0 (byte) 0
+Constant (byte) flip::dstIdx#0 (byte) 15
+Constant (byte) flip::r#0 (byte) 16
+Constant (byte) flip::c#0 (byte) 16
+Constant (byte) flip::i#0 (byte) 0
+Constant (byte~) plot::$0 (byte) 200
+Constant (byte) plot::y#0 (byte) 16
+Constant (byte) plot::i#0 (byte) 0
+Constant (byte) plot::x#0 (byte) 0
+Succesful SSA optimization dk.camelot64.kickc.icl.Pass2ConstantPropagation@742e84e1
+CONTROL FLOW GRAPH
+@BEGIN: from
+  call prepare param-assignment
+  to:@18
+@18: from @BEGIN
+  (byte[256]) buffer2#14 ← phi( @BEGIN/(word) 4352 )
+  (byte[256]) buffer1#21 ← phi( @BEGIN/(word) 4096 )
+  (byte[1000]) SCREEN#10 ← phi( @BEGIN/(word) 1024 )
+  (byte*) RASTER#7 ← phi( @BEGIN/(word) 53266 )
+  to:@1
+@1: from @18 @20
+  (byte[256]) buffer1#20 ← phi( @18/(byte[256]) buffer1#21 @20/(byte[256]) buffer1#22 )
+  (byte[256]) buffer2#13 ← phi( @18/(byte[256]) buffer2#14 @20/(byte[256]) buffer2#15 )
+  (byte[1000]) SCREEN#9 ← phi( @18/(byte[1000]) SCREEN#10 @20/(byte[1000]) SCREEN#11 )
+  (byte*) RASTER#5 ← phi( @18/(byte*) RASTER#7 @20/(byte*) RASTER#8 )
+  to:@2
+@2: from @1 @6
+  (byte[256]) buffer2#12 ← phi( @1/(byte[256]) buffer2#13 @6/(byte[256]) buffer2#8 )
+  (byte[256]) buffer1#19 ← phi( @1/(byte[256]) buffer1#20 @6/(byte[256]) buffer1#15 )
+  (byte[1000]) SCREEN#8 ← phi( @1/(byte[1000]) SCREEN#9 @6/(byte[1000]) SCREEN#4 )
+  (byte) c#6 ← phi( @1/(byte) 25 @6/(byte) c#1 )
+  (byte*) RASTER#3 ← phi( @1/(byte*) RASTER#5 @6/(byte*) RASTER#6 )
+  to:@3
+@3: from @2 @3
+  (byte[256]) buffer1#18 ← phi( @2/(byte[256]) buffer1#19 @3/(byte[256]) buffer1#18 )
+  (byte[256]) buffer2#11 ← phi( @2/(byte[256]) buffer2#12 @3/(byte[256]) buffer2#11 )
+  (byte[1000]) SCREEN#7 ← phi( @2/(byte[1000]) SCREEN#8 @3/(byte[1000]) SCREEN#7 )
+  (byte) c#5 ← phi( @2/(byte) c#6 @3/(byte) c#5 )
+  (byte*) RASTER#1 ← phi( @2/(byte*) RASTER#3 @3/(byte*) RASTER#1 )
+  (byte~) $1 ← * (byte*) RASTER#1
+  (boolean~) $2 ← (byte~) $1 != (byte) 254
+  if((boolean~) $2) goto @3
+  to:@5
+@5: from @3
+  (byte[256]) buffer2#10 ← phi( @3/(byte[256]) buffer2#11 )
+  (byte[256]) buffer1#17 ← phi( @3/(byte[256]) buffer1#18 )
+  (byte[1000]) SCREEN#6 ← phi( @3/(byte[1000]) SCREEN#7 )
+  (byte) c#4 ← phi( @3/(byte) c#5 )
+  (byte*) RASTER#4 ← phi( @3/(byte*) RASTER#1 )
+  to:@4
+@4: from @4 @5
+  (byte[256]) buffer1#16 ← phi( @4/(byte[256]) buffer1#16 @5/(byte[256]) buffer1#17 )
+  (byte[256]) buffer2#9 ← phi( @4/(byte[256]) buffer2#9 @5/(byte[256]) buffer2#10 )
+  (byte[1000]) SCREEN#5 ← phi( @4/(byte[1000]) SCREEN#5 @5/(byte[1000]) SCREEN#6 )
+  (byte) c#3 ← phi( @4/(byte) c#3 @5/(byte) c#4 )
+  (byte*) RASTER#2 ← phi( @4/(byte*) RASTER#2 @5/(byte*) RASTER#4 )
+  (byte~) $3 ← * (byte*) RASTER#2
+  (boolean~) $4 ← (byte~) $3 != (byte) 255
+  if((boolean~) $4) goto @4
+  to:@6
+@6: from @4
+  (byte[256]) buffer2#8 ← phi( @4/(byte[256]) buffer2#9 )
+  (byte[256]) buffer1#15 ← phi( @4/(byte[256]) buffer1#16 )
+  (byte[1000]) SCREEN#4 ← phi( @4/(byte[1000]) SCREEN#5 )
+  (byte*) RASTER#6 ← phi( @4/(byte*) RASTER#2 )
+  (byte) c#2 ← phi( @4/(byte) c#3 )
+  (byte) c#1 ← -- (byte) c#2
+  (boolean~) $5 ← (byte) c#1 != (byte) 0
+  if((boolean~) $5) goto @2
+  to:@7
+@7: from @6
+  (byte*) RASTER#10 ← phi( @6/(byte*) RASTER#6 )
+  (byte[256]) buffer1#13 ← phi( @6/(byte[256]) buffer1#15 )
+  (byte[256]) buffer2#7 ← phi( @6/(byte[256]) buffer2#8 )
+  (byte[1000]) SCREEN#3 ← phi( @6/(byte[1000]) SCREEN#4 )
+  call flip param-assignment
+  to:@19
+@19: from @7
+  (byte[256]) buffer2#16 ← phi( @7/(byte[256]) buffer2#7 )
+  (byte*) RASTER#9 ← phi( @7/(byte*) RASTER#10 )
+  (byte[256]) buffer1#14 ← phi( @7/(byte[256]) buffer1#13 )
+  (byte[1000]) SCREEN#2 ← phi( @7/(byte[1000]) SCREEN#3 )
+  call plot param-assignment
+  to:@20
+@20: from @19
+  (byte[256]) buffer2#15 ← phi( @19/(byte[256]) buffer2#16 )
+  (byte[256]) buffer1#22 ← phi( @19/(byte[256]) buffer1#14 )
+  (byte[1000]) SCREEN#11 ← phi( @19/(byte[1000]) SCREEN#2 )
+  (byte*) RASTER#8 ← phi( @19/(byte*) RASTER#9 )
+  if(true) goto @1
+  to:@END
+prepare: from @BEGIN
+  (byte[256]) buffer1#5 ← phi( @BEGIN/(word) 4096 )
+  to:prepare::@1
+prepare::@1: from prepare prepare::@1
+  (byte[256]) buffer1#1 ← phi( prepare/(byte[256]) buffer1#5 prepare::@1/(byte[256]) buffer1#1 )
+  (byte) prepare::i#2 ← phi( prepare/(byte) 0 prepare::@1/(byte) prepare::i#1 )
+  *((byte[256]) buffer1#1 + (byte) prepare::i#2) ← (byte) prepare::i#2
+  (byte) prepare::i#1 ← ++ (byte) prepare::i#2
+  (boolean~) prepare::$0 ← (byte) prepare::i#1 != (byte) 0
+  if((boolean~) prepare::$0) goto prepare::@1
+  to:prepare::@return
+prepare::@return: from prepare::@1
+  return 
+  to:@RETURN
+flip: from @7
+  (byte[256]) buffer2#6 ← phi( @7/(byte[256]) buffer2#7 )
+  (byte[256]) buffer1#10 ← phi( @7/(byte[256]) buffer1#13 )
+  to:flip::@1
+flip::@1: from @11 flip
+  (byte) flip::r#4 ← phi( @11/(byte) flip::r#1 flip/(byte) 16 )
+  (byte[256]) buffer1#6 ← phi( @11/(byte[256]) buffer1#9 flip/(byte[256]) buffer1#10 )
+  (byte) flip::srcIdx#3 ← phi( @11/(byte) flip::srcIdx#4 flip/(byte) 0 )
+  (byte[256]) buffer2#3 ← phi( @11/(byte[256]) buffer2#5 flip/(byte[256]) buffer2#6 )
+  (byte) flip::dstIdx#5 ← phi( @11/(byte) flip::dstIdx#2 flip/(byte) 15 )
+  to:flip::@2
+flip::@2: from flip::@1 flip::@2
+  (byte) flip::r#3 ← phi( flip::@1/(byte) flip::r#4 flip::@2/(byte) flip::r#3 )
+  (byte) flip::c#2 ← phi( flip::@1/(byte) 16 flip::@2/(byte) flip::c#1 )
+  (byte) flip::dstIdx#3 ← phi( flip::@1/(byte) flip::dstIdx#5 flip::@2/(byte) flip::dstIdx#1 )
+  (byte[256]) buffer2#1 ← phi( flip::@1/(byte[256]) buffer2#3 flip::@2/(byte[256]) buffer2#1 )
+  (byte) flip::srcIdx#2 ← phi( flip::@1/(byte) flip::srcIdx#3 flip::@2/(byte) flip::srcIdx#1 )
+  (byte[256]) buffer1#2 ← phi( flip::@1/(byte[256]) buffer1#6 flip::@2/(byte[256]) buffer1#2 )
+  (byte~) flip::$0 ← (byte[256]) buffer1#2 *idx (byte) flip::srcIdx#2
+  *((byte[256]) buffer2#1 + (byte) flip::dstIdx#3) ← (byte~) flip::$0
+  (byte) flip::srcIdx#1 ← ++ (byte) flip::srcIdx#2
+  (byte~) flip::$1 ← (byte) flip::dstIdx#3 + (byte) 16
+  (byte) flip::dstIdx#1 ← (byte~) flip::$1
+  (byte) flip::c#1 ← -- (byte) flip::c#2
+  (boolean~) flip::$2 ← (byte) flip::c#1 != (byte) 0
+  if((boolean~) flip::$2) goto flip::@2
+  to:@11
+@11: from flip::@2
+  (byte[256]) buffer2#5 ← phi( flip::@2/(byte[256]) buffer2#1 )
+  (byte) flip::srcIdx#4 ← phi( flip::@2/(byte) flip::srcIdx#1 )
+  (byte[256]) buffer1#9 ← phi( flip::@2/(byte[256]) buffer1#2 )
+  (byte) flip::r#2 ← phi( flip::@2/(byte) flip::r#3 )
+  (byte) flip::dstIdx#4 ← phi( flip::@2/(byte) flip::dstIdx#1 )
+  (byte) flip::dstIdx#2 ← -- (byte) flip::dstIdx#4
+  (byte) flip::r#1 ← -- (byte) flip::r#2
+  (boolean~) flip::$3 ← (byte) flip::r#1 != (byte) 0
+  if((boolean~) flip::$3) goto flip::@1
+  to:@12
+@12: from @11
+  (byte[256]) buffer2#4 ← phi( @11/(byte[256]) buffer2#5 )
+  (byte[256]) buffer1#7 ← phi( @11/(byte[256]) buffer1#9 )
+  to:flip::@3
+flip::@3: from @12 flip::@3
+  (byte[256]) buffer1#3 ← phi( @12/(byte[256]) buffer1#7 flip::@3/(byte[256]) buffer1#3 )
+  (byte) flip::i#2 ← phi( @12/(byte) 0 flip::@3/(byte) flip::i#1 )
+  (byte[256]) buffer2#2 ← phi( @12/(byte[256]) buffer2#4 flip::@3/(byte[256]) buffer2#2 )
+  (byte~) flip::$4 ← (byte[256]) buffer2#2 *idx (byte) flip::i#2
+  *((byte[256]) buffer1#3 + (byte) flip::i#2) ← (byte~) flip::$4
+  (byte) flip::i#1 ← ++ (byte) flip::i#2
+  (boolean~) flip::$5 ← (byte) flip::i#1 != (byte) 0
+  if((boolean~) flip::$5) goto flip::@3
+  to:flip::@return
+flip::@return: from flip::@3
+  return 
+  to:@RETURN
+plot: from @19
+  (byte[256]) buffer1#12 ← phi( @19/(byte[256]) buffer1#14 )
+  (byte[1000]) SCREEN#1 ← phi( @19/(byte[1000]) SCREEN#2 )
+  (byte*~) plot::$1 ← (byte[1000]) SCREEN#1 + (byte) 200
+  (byte*~) plot::$2 ← (byte*~) plot::$1 + (byte) 12
+  (byte*) plot::line#0 ← (byte*~) plot::$2
+  to:plot::@1
+plot::@1: from @15 plot
+  (byte) plot::y#4 ← phi( @15/(byte) plot::y#1 plot/(byte) 16 )
+  (byte[256]) buffer1#8 ← phi( @15/(byte[256]) buffer1#11 plot/(byte[256]) buffer1#12 )
+  (byte) plot::i#3 ← phi( @15/(byte) plot::i#4 plot/(byte) 0 )
+  (byte*) plot::line#4 ← phi( @15/(byte*) plot::line#1 plot/(byte*) plot::line#0 )
+  to:plot::@2
+plot::@2: from plot::@1 plot::@2
+  (byte) plot::y#3 ← phi( plot::@1/(byte) plot::y#4 plot::@2/(byte) plot::y#3 )
+  (byte) plot::x#2 ← phi( plot::@1/(byte) 0 plot::@2/(byte) plot::x#1 )
+  (byte*) plot::line#2 ← phi( plot::@1/(byte*) plot::line#4 plot::@2/(byte*) plot::line#2 )
+  (byte) plot::i#2 ← phi( plot::@1/(byte) plot::i#3 plot::@2/(byte) plot::i#1 )
+  (byte[256]) buffer1#4 ← phi( plot::@1/(byte[256]) buffer1#8 plot::@2/(byte[256]) buffer1#4 )
+  (byte~) plot::$3 ← (byte[256]) buffer1#4 *idx (byte) plot::i#2
+  *((byte*) plot::line#2 + (byte) plot::x#2) ← (byte~) plot::$3
+  (byte) plot::i#1 ← ++ (byte) plot::i#2
+  (byte) plot::x#1 ← ++ (byte) plot::x#2
+  (boolean~) plot::$4 ← (byte) plot::x#1 < (byte) 16
+  if((boolean~) plot::$4) goto plot::@2
+  to:@15
+@15: from plot::@2
+  (byte) plot::i#4 ← phi( plot::@2/(byte) plot::i#1 )
+  (byte[256]) buffer1#11 ← phi( plot::@2/(byte[256]) buffer1#4 )
+  (byte) plot::y#2 ← phi( plot::@2/(byte) plot::y#3 )
+  (byte*) plot::line#3 ← phi( plot::@2/(byte*) plot::line#2 )
+  (byte*~) plot::$5 ← (byte*) plot::line#3 + (byte) 40
+  (byte*) plot::line#1 ← (byte*~) plot::$5
+  (byte) plot::y#1 ← -- (byte) plot::y#2
+  (boolean~) plot::$6 ← (byte) plot::y#1 != (byte) 0
+  if((boolean~) plot::$6) goto plot::@1
+  to:plot::@return
+plot::@return: from @15
+  return 
+  to:@RETURN
+@END: from @20
+
+Consolidated constant in assignment (byte*~) plot::$2
+Succesful SSA optimization dk.camelot64.kickc.icl.Pass2ConstantAdditionElimination@1a160b5e
+CONTROL FLOW GRAPH
+@BEGIN: from
+  call prepare param-assignment
+  to:@18
+@18: from @BEGIN
+  (byte[256]) buffer2#14 ← phi( @BEGIN/(word) 4352 )
+  (byte[256]) buffer1#21 ← phi( @BEGIN/(word) 4096 )
+  (byte[1000]) SCREEN#10 ← phi( @BEGIN/(word) 1024 )
+  (byte*) RASTER#7 ← phi( @BEGIN/(word) 53266 )
+  to:@1
+@1: from @18 @20
+  (byte[256]) buffer1#20 ← phi( @18/(byte[256]) buffer1#21 @20/(byte[256]) buffer1#22 )
+  (byte[256]) buffer2#13 ← phi( @18/(byte[256]) buffer2#14 @20/(byte[256]) buffer2#15 )
+  (byte[1000]) SCREEN#9 ← phi( @18/(byte[1000]) SCREEN#10 @20/(byte[1000]) SCREEN#11 )
+  (byte*) RASTER#5 ← phi( @18/(byte*) RASTER#7 @20/(byte*) RASTER#8 )
+  to:@2
+@2: from @1 @6
+  (byte[256]) buffer2#12 ← phi( @1/(byte[256]) buffer2#13 @6/(byte[256]) buffer2#8 )
+  (byte[256]) buffer1#19 ← phi( @1/(byte[256]) buffer1#20 @6/(byte[256]) buffer1#15 )
+  (byte[1000]) SCREEN#8 ← phi( @1/(byte[1000]) SCREEN#9 @6/(byte[1000]) SCREEN#4 )
+  (byte) c#6 ← phi( @1/(byte) 25 @6/(byte) c#1 )
+  (byte*) RASTER#3 ← phi( @1/(byte*) RASTER#5 @6/(byte*) RASTER#6 )
+  to:@3
+@3: from @2 @3
+  (byte[256]) buffer1#18 ← phi( @2/(byte[256]) buffer1#19 @3/(byte[256]) buffer1#18 )
+  (byte[256]) buffer2#11 ← phi( @2/(byte[256]) buffer2#12 @3/(byte[256]) buffer2#11 )
+  (byte[1000]) SCREEN#7 ← phi( @2/(byte[1000]) SCREEN#8 @3/(byte[1000]) SCREEN#7 )
+  (byte) c#5 ← phi( @2/(byte) c#6 @3/(byte) c#5 )
+  (byte*) RASTER#1 ← phi( @2/(byte*) RASTER#3 @3/(byte*) RASTER#1 )
+  (byte~) $1 ← * (byte*) RASTER#1
+  (boolean~) $2 ← (byte~) $1 != (byte) 254
+  if((boolean~) $2) goto @3
+  to:@5
+@5: from @3
+  (byte[256]) buffer2#10 ← phi( @3/(byte[256]) buffer2#11 )
+  (byte[256]) buffer1#17 ← phi( @3/(byte[256]) buffer1#18 )
+  (byte[1000]) SCREEN#6 ← phi( @3/(byte[1000]) SCREEN#7 )
+  (byte) c#4 ← phi( @3/(byte) c#5 )
+  (byte*) RASTER#4 ← phi( @3/(byte*) RASTER#1 )
+  to:@4
+@4: from @4 @5
+  (byte[256]) buffer1#16 ← phi( @4/(byte[256]) buffer1#16 @5/(byte[256]) buffer1#17 )
+  (byte[256]) buffer2#9 ← phi( @4/(byte[256]) buffer2#9 @5/(byte[256]) buffer2#10 )
+  (byte[1000]) SCREEN#5 ← phi( @4/(byte[1000]) SCREEN#5 @5/(byte[1000]) SCREEN#6 )
+  (byte) c#3 ← phi( @4/(byte) c#3 @5/(byte) c#4 )
+  (byte*) RASTER#2 ← phi( @4/(byte*) RASTER#2 @5/(byte*) RASTER#4 )
+  (byte~) $3 ← * (byte*) RASTER#2
+  (boolean~) $4 ← (byte~) $3 != (byte) 255
+  if((boolean~) $4) goto @4
+  to:@6
+@6: from @4
+  (byte[256]) buffer2#8 ← phi( @4/(byte[256]) buffer2#9 )
+  (byte[256]) buffer1#15 ← phi( @4/(byte[256]) buffer1#16 )
+  (byte[1000]) SCREEN#4 ← phi( @4/(byte[1000]) SCREEN#5 )
+  (byte*) RASTER#6 ← phi( @4/(byte*) RASTER#2 )
+  (byte) c#2 ← phi( @4/(byte) c#3 )
+  (byte) c#1 ← -- (byte) c#2
+  (boolean~) $5 ← (byte) c#1 != (byte) 0
+  if((boolean~) $5) goto @2
+  to:@7
+@7: from @6
+  (byte*) RASTER#10 ← phi( @6/(byte*) RASTER#6 )
+  (byte[256]) buffer1#13 ← phi( @6/(byte[256]) buffer1#15 )
+  (byte[256]) buffer2#7 ← phi( @6/(byte[256]) buffer2#8 )
+  (byte[1000]) SCREEN#3 ← phi( @6/(byte[1000]) SCREEN#4 )
+  call flip param-assignment
+  to:@19
+@19: from @7
+  (byte[256]) buffer2#16 ← phi( @7/(byte[256]) buffer2#7 )
+  (byte*) RASTER#9 ← phi( @7/(byte*) RASTER#10 )
+  (byte[256]) buffer1#14 ← phi( @7/(byte[256]) buffer1#13 )
+  (byte[1000]) SCREEN#2 ← phi( @7/(byte[1000]) SCREEN#3 )
+  call plot param-assignment
+  to:@20
+@20: from @19
+  (byte[256]) buffer2#15 ← phi( @19/(byte[256]) buffer2#16 )
+  (byte[256]) buffer1#22 ← phi( @19/(byte[256]) buffer1#14 )
+  (byte[1000]) SCREEN#11 ← phi( @19/(byte[1000]) SCREEN#2 )
+  (byte*) RASTER#8 ← phi( @19/(byte*) RASTER#9 )
+  if(true) goto @1
+  to:@END
+prepare: from @BEGIN
+  (byte[256]) buffer1#5 ← phi( @BEGIN/(word) 4096 )
+  to:prepare::@1
+prepare::@1: from prepare prepare::@1
+  (byte[256]) buffer1#1 ← phi( prepare/(byte[256]) buffer1#5 prepare::@1/(byte[256]) buffer1#1 )
+  (byte) prepare::i#2 ← phi( prepare/(byte) 0 prepare::@1/(byte) prepare::i#1 )
+  *((byte[256]) buffer1#1 + (byte) prepare::i#2) ← (byte) prepare::i#2
+  (byte) prepare::i#1 ← ++ (byte) prepare::i#2
+  (boolean~) prepare::$0 ← (byte) prepare::i#1 != (byte) 0
+  if((boolean~) prepare::$0) goto prepare::@1
+  to:prepare::@return
+prepare::@return: from prepare::@1
+  return 
+  to:@RETURN
+flip: from @7
+  (byte[256]) buffer2#6 ← phi( @7/(byte[256]) buffer2#7 )
+  (byte[256]) buffer1#10 ← phi( @7/(byte[256]) buffer1#13 )
+  to:flip::@1
+flip::@1: from @11 flip
+  (byte) flip::r#4 ← phi( @11/(byte) flip::r#1 flip/(byte) 16 )
+  (byte[256]) buffer1#6 ← phi( @11/(byte[256]) buffer1#9 flip/(byte[256]) buffer1#10 )
+  (byte) flip::srcIdx#3 ← phi( @11/(byte) flip::srcIdx#4 flip/(byte) 0 )
+  (byte[256]) buffer2#3 ← phi( @11/(byte[256]) buffer2#5 flip/(byte[256]) buffer2#6 )
+  (byte) flip::dstIdx#5 ← phi( @11/(byte) flip::dstIdx#2 flip/(byte) 15 )
+  to:flip::@2
+flip::@2: from flip::@1 flip::@2
+  (byte) flip::r#3 ← phi( flip::@1/(byte) flip::r#4 flip::@2/(byte) flip::r#3 )
+  (byte) flip::c#2 ← phi( flip::@1/(byte) 16 flip::@2/(byte) flip::c#1 )
+  (byte) flip::dstIdx#3 ← phi( flip::@1/(byte) flip::dstIdx#5 flip::@2/(byte) flip::dstIdx#1 )
+  (byte[256]) buffer2#1 ← phi( flip::@1/(byte[256]) buffer2#3 flip::@2/(byte[256]) buffer2#1 )
+  (byte) flip::srcIdx#2 ← phi( flip::@1/(byte) flip::srcIdx#3 flip::@2/(byte) flip::srcIdx#1 )
+  (byte[256]) buffer1#2 ← phi( flip::@1/(byte[256]) buffer1#6 flip::@2/(byte[256]) buffer1#2 )
+  (byte~) flip::$0 ← (byte[256]) buffer1#2 *idx (byte) flip::srcIdx#2
+  *((byte[256]) buffer2#1 + (byte) flip::dstIdx#3) ← (byte~) flip::$0
+  (byte) flip::srcIdx#1 ← ++ (byte) flip::srcIdx#2
+  (byte~) flip::$1 ← (byte) flip::dstIdx#3 + (byte) 16
+  (byte) flip::dstIdx#1 ← (byte~) flip::$1
+  (byte) flip::c#1 ← -- (byte) flip::c#2
+  (boolean~) flip::$2 ← (byte) flip::c#1 != (byte) 0
+  if((boolean~) flip::$2) goto flip::@2
+  to:@11
+@11: from flip::@2
+  (byte[256]) buffer2#5 ← phi( flip::@2/(byte[256]) buffer2#1 )
+  (byte) flip::srcIdx#4 ← phi( flip::@2/(byte) flip::srcIdx#1 )
+  (byte[256]) buffer1#9 ← phi( flip::@2/(byte[256]) buffer1#2 )
+  (byte) flip::r#2 ← phi( flip::@2/(byte) flip::r#3 )
+  (byte) flip::dstIdx#4 ← phi( flip::@2/(byte) flip::dstIdx#1 )
+  (byte) flip::dstIdx#2 ← -- (byte) flip::dstIdx#4
+  (byte) flip::r#1 ← -- (byte) flip::r#2
+  (boolean~) flip::$3 ← (byte) flip::r#1 != (byte) 0
+  if((boolean~) flip::$3) goto flip::@1
+  to:@12
+@12: from @11
+  (byte[256]) buffer2#4 ← phi( @11/(byte[256]) buffer2#5 )
+  (byte[256]) buffer1#7 ← phi( @11/(byte[256]) buffer1#9 )
+  to:flip::@3
+flip::@3: from @12 flip::@3
+  (byte[256]) buffer1#3 ← phi( @12/(byte[256]) buffer1#7 flip::@3/(byte[256]) buffer1#3 )
+  (byte) flip::i#2 ← phi( @12/(byte) 0 flip::@3/(byte) flip::i#1 )
+  (byte[256]) buffer2#2 ← phi( @12/(byte[256]) buffer2#4 flip::@3/(byte[256]) buffer2#2 )
+  (byte~) flip::$4 ← (byte[256]) buffer2#2 *idx (byte) flip::i#2
+  *((byte[256]) buffer1#3 + (byte) flip::i#2) ← (byte~) flip::$4
+  (byte) flip::i#1 ← ++ (byte) flip::i#2
+  (boolean~) flip::$5 ← (byte) flip::i#1 != (byte) 0
+  if((boolean~) flip::$5) goto flip::@3
+  to:flip::@return
+flip::@return: from flip::@3
+  return 
+  to:@RETURN
+plot: from @19
+  (byte[256]) buffer1#12 ← phi( @19/(byte[256]) buffer1#14 )
+  (byte[1000]) SCREEN#1 ← phi( @19/(byte[1000]) SCREEN#2 )
+  (byte*~) plot::$1 ← (byte[1000]) SCREEN#1
+  (byte*~) plot::$2 ← (byte*~) plot::$1 + (byte) 212
+  (byte*) plot::line#0 ← (byte*~) plot::$2
+  to:plot::@1
+plot::@1: from @15 plot
+  (byte) plot::y#4 ← phi( @15/(byte) plot::y#1 plot/(byte) 16 )
+  (byte[256]) buffer1#8 ← phi( @15/(byte[256]) buffer1#11 plot/(byte[256]) buffer1#12 )
+  (byte) plot::i#3 ← phi( @15/(byte) plot::i#4 plot/(byte) 0 )
+  (byte*) plot::line#4 ← phi( @15/(byte*) plot::line#1 plot/(byte*) plot::line#0 )
+  to:plot::@2
+plot::@2: from plot::@1 plot::@2
+  (byte) plot::y#3 ← phi( plot::@1/(byte) plot::y#4 plot::@2/(byte) plot::y#3 )
+  (byte) plot::x#2 ← phi( plot::@1/(byte) 0 plot::@2/(byte) plot::x#1 )
+  (byte*) plot::line#2 ← phi( plot::@1/(byte*) plot::line#4 plot::@2/(byte*) plot::line#2 )
+  (byte) plot::i#2 ← phi( plot::@1/(byte) plot::i#3 plot::@2/(byte) plot::i#1 )
+  (byte[256]) buffer1#4 ← phi( plot::@1/(byte[256]) buffer1#8 plot::@2/(byte[256]) buffer1#4 )
+  (byte~) plot::$3 ← (byte[256]) buffer1#4 *idx (byte) plot::i#2
+  *((byte*) plot::line#2 + (byte) plot::x#2) ← (byte~) plot::$3
+  (byte) plot::i#1 ← ++ (byte) plot::i#2
+  (byte) plot::x#1 ← ++ (byte) plot::x#2
+  (boolean~) plot::$4 ← (byte) plot::x#1 < (byte) 16
+  if((boolean~) plot::$4) goto plot::@2
+  to:@15
+@15: from plot::@2
+  (byte) plot::i#4 ← phi( plot::@2/(byte) plot::i#1 )
+  (byte[256]) buffer1#11 ← phi( plot::@2/(byte[256]) buffer1#4 )
+  (byte) plot::y#2 ← phi( plot::@2/(byte) plot::y#3 )
+  (byte*) plot::line#3 ← phi( plot::@2/(byte*) plot::line#2 )
+  (byte*~) plot::$5 ← (byte*) plot::line#3 + (byte) 40
+  (byte*) plot::line#1 ← (byte*~) plot::$5
+  (byte) plot::y#1 ← -- (byte) plot::y#2
+  (boolean~) plot::$6 ← (byte) plot::y#1 != (byte) 0
+  if((boolean~) plot::$6) goto plot::@1
+  to:plot::@return
+plot::@return: from @15
+  return 
+  to:@RETURN
+@END: from @20
+
+Alias (byte[256]) buffer2#10 = (byte[256]) buffer2#11 
+Alias (byte[256]) buffer1#17 = (byte[256]) buffer1#18 
+Alias (byte[1000]) SCREEN#6 = (byte[1000]) SCREEN#7 
+Alias (byte) c#4 = (byte) c#5 
+Alias (byte*) RASTER#1 = (byte*) RASTER#4 
+Alias (byte[256]) buffer2#15 = (byte[256]) buffer2#8 (byte[256]) buffer2#9 (byte[256]) buffer2#7 (byte[256]) buffer2#16 (byte[256]) buffer2#6 
+Alias (byte[256]) buffer1#10 = (byte[256]) buffer1#15 (byte[256]) buffer1#16 (byte[256]) buffer1#13 (byte[256]) buffer1#14 (byte[256]) buffer1#22 (byte[256]) buffer1#12 
+Alias (byte[1000]) SCREEN#1 = (byte[1000]) SCREEN#4 (byte[1000]) SCREEN#5 (byte[1000]) SCREEN#3 (byte[1000]) SCREEN#2 (byte[1000]) SCREEN#11 (byte*~) plot::$1 
+Alias (byte*) RASTER#10 = (byte*) RASTER#6 (byte*) RASTER#2 (byte*) RASTER#9 (byte*) RASTER#8 
+Alias (byte) c#2 = (byte) c#3 
+Alias (byte) flip::dstIdx#1 = (byte~) flip::$1 (byte) flip::dstIdx#4 
+Alias (byte[256]) buffer2#1 = (byte[256]) buffer2#5 (byte[256]) buffer2#4 
+Alias (byte) flip::srcIdx#1 = (byte) flip::srcIdx#4 
+Alias (byte[256]) buffer1#2 = (byte[256]) buffer1#9 (byte[256]) buffer1#7 
+Alias (byte) flip::r#2 = (byte) flip::r#3 
+Alias (byte*) plot::line#0 = (byte*~) plot::$2 
+Alias (byte) plot::i#1 = (byte) plot::i#4 
+Alias (byte[256]) buffer1#11 = (byte[256]) buffer1#4 
+Alias (byte) plot::y#2 = (byte) plot::y#3 
+Alias (byte*) plot::line#2 = (byte*) plot::line#3 
+Alias (byte*) plot::line#1 = (byte*~) plot::$5 
+Succesful SSA optimization dk.camelot64.kickc.icl.Pass2AliasElimination@3a1af7aa
+CONTROL FLOW GRAPH
+@BEGIN: from
+  call prepare param-assignment
+  to:@18
+@18: from @BEGIN
+  (byte[256]) buffer2#14 ← phi( @BEGIN/(word) 4352 )
+  (byte[256]) buffer1#21 ← phi( @BEGIN/(word) 4096 )
+  (byte[1000]) SCREEN#10 ← phi( @BEGIN/(word) 1024 )
+  (byte*) RASTER#7 ← phi( @BEGIN/(word) 53266 )
+  to:@1
+@1: from @18 @20
+  (byte[256]) buffer1#20 ← phi( @18/(byte[256]) buffer1#21 @20/(byte[256]) buffer1#10 )
+  (byte[256]) buffer2#13 ← phi( @18/(byte[256]) buffer2#14 @20/(byte[256]) buffer2#15 )
+  (byte[1000]) SCREEN#9 ← phi( @18/(byte[1000]) SCREEN#10 @20/(byte[1000]) SCREEN#1 )
+  (byte*) RASTER#5 ← phi( @18/(byte*) RASTER#7 @20/(byte*) RASTER#10 )
+  to:@2
+@2: from @1 @6
+  (byte[256]) buffer2#12 ← phi( @1/(byte[256]) buffer2#13 @6/(byte[256]) buffer2#15 )
+  (byte[256]) buffer1#19 ← phi( @1/(byte[256]) buffer1#20 @6/(byte[256]) buffer1#10 )
+  (byte[1000]) SCREEN#8 ← phi( @1/(byte[1000]) SCREEN#9 @6/(byte[1000]) SCREEN#1 )
+  (byte) c#6 ← phi( @1/(byte) 25 @6/(byte) c#1 )
+  (byte*) RASTER#3 ← phi( @1/(byte*) RASTER#5 @6/(byte*) RASTER#10 )
+  to:@3
+@3: from @2 @3
+  (byte[256]) buffer1#17 ← phi( @2/(byte[256]) buffer1#19 @3/(byte[256]) buffer1#17 )
+  (byte[256]) buffer2#10 ← phi( @2/(byte[256]) buffer2#12 @3/(byte[256]) buffer2#10 )
+  (byte[1000]) SCREEN#6 ← phi( @2/(byte[1000]) SCREEN#8 @3/(byte[1000]) SCREEN#6 )
+  (byte) c#4 ← phi( @2/(byte) c#6 @3/(byte) c#4 )
+  (byte*) RASTER#1 ← phi( @2/(byte*) RASTER#3 @3/(byte*) RASTER#1 )
+  (byte~) $1 ← * (byte*) RASTER#1
+  (boolean~) $2 ← (byte~) $1 != (byte) 254
+  if((boolean~) $2) goto @3
+  to:@5
+@5: from @3
+  to:@4
+@4: from @4 @5
+  (byte[256]) buffer1#10 ← phi( @4/(byte[256]) buffer1#10 @5/(byte[256]) buffer1#17 )
+  (byte[256]) buffer2#15 ← phi( @4/(byte[256]) buffer2#15 @5/(byte[256]) buffer2#10 )
+  (byte[1000]) SCREEN#1 ← phi( @4/(byte[1000]) SCREEN#1 @5/(byte[1000]) SCREEN#6 )
+  (byte) c#2 ← phi( @4/(byte) c#2 @5/(byte) c#4 )
+  (byte*) RASTER#10 ← phi( @4/(byte*) RASTER#10 @5/(byte*) RASTER#1 )
+  (byte~) $3 ← * (byte*) RASTER#10
+  (boolean~) $4 ← (byte~) $3 != (byte) 255
+  if((boolean~) $4) goto @4
+  to:@6
+@6: from @4
+  (byte) c#1 ← -- (byte) c#2
+  (boolean~) $5 ← (byte) c#1 != (byte) 0
+  if((boolean~) $5) goto @2
+  to:@7
+@7: from @6
+  call flip param-assignment
+  to:@19
+@19: from @7
+  call plot param-assignment
+  to:@20
+@20: from @19
+  if(true) goto @1
+  to:@END
+prepare: from @BEGIN
+  (byte[256]) buffer1#5 ← phi( @BEGIN/(word) 4096 )
+  to:prepare::@1
+prepare::@1: from prepare prepare::@1
+  (byte[256]) buffer1#1 ← phi( prepare/(byte[256]) buffer1#5 prepare::@1/(byte[256]) buffer1#1 )
+  (byte) prepare::i#2 ← phi( prepare/(byte) 0 prepare::@1/(byte) prepare::i#1 )
+  *((byte[256]) buffer1#1 + (byte) prepare::i#2) ← (byte) prepare::i#2
+  (byte) prepare::i#1 ← ++ (byte) prepare::i#2
+  (boolean~) prepare::$0 ← (byte) prepare::i#1 != (byte) 0
+  if((boolean~) prepare::$0) goto prepare::@1
+  to:prepare::@return
+prepare::@return: from prepare::@1
+  return 
+  to:@RETURN
+flip: from @7
+  to:flip::@1
+flip::@1: from @11 flip
+  (byte) flip::r#4 ← phi( @11/(byte) flip::r#1 flip/(byte) 16 )
+  (byte[256]) buffer1#6 ← phi( @11/(byte[256]) buffer1#2 flip/(byte[256]) buffer1#10 )
+  (byte) flip::srcIdx#3 ← phi( @11/(byte) flip::srcIdx#1 flip/(byte) 0 )
+  (byte[256]) buffer2#3 ← phi( @11/(byte[256]) buffer2#1 flip/(byte[256]) buffer2#15 )
+  (byte) flip::dstIdx#5 ← phi( @11/(byte) flip::dstIdx#2 flip/(byte) 15 )
+  to:flip::@2
+flip::@2: from flip::@1 flip::@2
+  (byte) flip::r#2 ← phi( flip::@1/(byte) flip::r#4 flip::@2/(byte) flip::r#2 )
+  (byte) flip::c#2 ← phi( flip::@1/(byte) 16 flip::@2/(byte) flip::c#1 )
+  (byte) flip::dstIdx#3 ← phi( flip::@1/(byte) flip::dstIdx#5 flip::@2/(byte) flip::dstIdx#1 )
+  (byte[256]) buffer2#1 ← phi( flip::@1/(byte[256]) buffer2#3 flip::@2/(byte[256]) buffer2#1 )
+  (byte) flip::srcIdx#2 ← phi( flip::@1/(byte) flip::srcIdx#3 flip::@2/(byte) flip::srcIdx#1 )
+  (byte[256]) buffer1#2 ← phi( flip::@1/(byte[256]) buffer1#6 flip::@2/(byte[256]) buffer1#2 )
+  (byte~) flip::$0 ← (byte[256]) buffer1#2 *idx (byte) flip::srcIdx#2
+  *((byte[256]) buffer2#1 + (byte) flip::dstIdx#3) ← (byte~) flip::$0
+  (byte) flip::srcIdx#1 ← ++ (byte) flip::srcIdx#2
+  (byte) flip::dstIdx#1 ← (byte) flip::dstIdx#3 + (byte) 16
+  (byte) flip::c#1 ← -- (byte) flip::c#2
+  (boolean~) flip::$2 ← (byte) flip::c#1 != (byte) 0
+  if((boolean~) flip::$2) goto flip::@2
+  to:@11
+@11: from flip::@2
+  (byte) flip::dstIdx#2 ← -- (byte) flip::dstIdx#1
+  (byte) flip::r#1 ← -- (byte) flip::r#2
+  (boolean~) flip::$3 ← (byte) flip::r#1 != (byte) 0
+  if((boolean~) flip::$3) goto flip::@1
+  to:@12
+@12: from @11
+  to:flip::@3
+flip::@3: from @12 flip::@3
+  (byte[256]) buffer1#3 ← phi( @12/(byte[256]) buffer1#2 flip::@3/(byte[256]) buffer1#3 )
+  (byte) flip::i#2 ← phi( @12/(byte) 0 flip::@3/(byte) flip::i#1 )
+  (byte[256]) buffer2#2 ← phi( @12/(byte[256]) buffer2#1 flip::@3/(byte[256]) buffer2#2 )
+  (byte~) flip::$4 ← (byte[256]) buffer2#2 *idx (byte) flip::i#2
+  *((byte[256]) buffer1#3 + (byte) flip::i#2) ← (byte~) flip::$4
+  (byte) flip::i#1 ← ++ (byte) flip::i#2
+  (boolean~) flip::$5 ← (byte) flip::i#1 != (byte) 0
+  if((boolean~) flip::$5) goto flip::@3
+  to:flip::@return
+flip::@return: from flip::@3
+  return 
+  to:@RETURN
+plot: from @19
+  (byte*) plot::line#0 ← (byte[1000]) SCREEN#1 + (byte) 212
+  to:plot::@1
+plot::@1: from @15 plot
+  (byte) plot::y#4 ← phi( @15/(byte) plot::y#1 plot/(byte) 16 )
+  (byte[256]) buffer1#8 ← phi( @15/(byte[256]) buffer1#11 plot/(byte[256]) buffer1#10 )
+  (byte) plot::i#3 ← phi( @15/(byte) plot::i#1 plot/(byte) 0 )
+  (byte*) plot::line#4 ← phi( @15/(byte*) plot::line#1 plot/(byte*) plot::line#0 )
+  to:plot::@2
+plot::@2: from plot::@1 plot::@2
+  (byte) plot::y#2 ← phi( plot::@1/(byte) plot::y#4 plot::@2/(byte) plot::y#2 )
+  (byte) plot::x#2 ← phi( plot::@1/(byte) 0 plot::@2/(byte) plot::x#1 )
+  (byte*) plot::line#2 ← phi( plot::@1/(byte*) plot::line#4 plot::@2/(byte*) plot::line#2 )
+  (byte) plot::i#2 ← phi( plot::@1/(byte) plot::i#3 plot::@2/(byte) plot::i#1 )
+  (byte[256]) buffer1#11 ← phi( plot::@1/(byte[256]) buffer1#8 plot::@2/(byte[256]) buffer1#11 )
+  (byte~) plot::$3 ← (byte[256]) buffer1#11 *idx (byte) plot::i#2
+  *((byte*) plot::line#2 + (byte) plot::x#2) ← (byte~) plot::$3
+  (byte) plot::i#1 ← ++ (byte) plot::i#2
+  (byte) plot::x#1 ← ++ (byte) plot::x#2
+  (boolean~) plot::$4 ← (byte) plot::x#1 < (byte) 16
+  if((boolean~) plot::$4) goto plot::@2
+  to:@15
+@15: from plot::@2
+  (byte*) plot::line#1 ← (byte*) plot::line#2 + (byte) 40
+  (byte) plot::y#1 ← -- (byte) plot::y#2
+  (boolean~) plot::$6 ← (byte) plot::y#1 != (byte) 0
+  if((boolean~) plot::$6) goto plot::@1
+  to:plot::@return
+plot::@return: from @15
+  return 
+  to:@RETURN
+@END: from @20
+
+Redundant Phi (byte[256]) buffer2#14 (word) 4352
+Redundant Phi (byte[256]) buffer1#21 (word) 4096
+Redundant Phi (byte[1000]) SCREEN#10 (word) 1024
+Redundant Phi (byte*) RASTER#7 (word) 53266
+Redundant Phi (byte[256]) buffer1#5 (word) 4096
+Succesful SSA optimization dk.camelot64.kickc.icl.Pass2RedundantPhiElimination@4079d7b3
+CONTROL FLOW GRAPH
+@BEGIN: from
+  call prepare param-assignment
+  to:@18
+@18: from @BEGIN
+  to:@1
+@1: from @18 @20
+  (byte[256]) buffer1#20 ← phi( @18/(word) 4096 @20/(byte[256]) buffer1#10 )
+  (byte[256]) buffer2#13 ← phi( @18/(word) 4352 @20/(byte[256]) buffer2#15 )
+  (byte[1000]) SCREEN#9 ← phi( @18/(word) 1024 @20/(byte[1000]) SCREEN#1 )
+  (byte*) RASTER#5 ← phi( @18/(word) 53266 @20/(byte*) RASTER#10 )
+  to:@2
+@2: from @1 @6
+  (byte[256]) buffer2#12 ← phi( @1/(byte[256]) buffer2#13 @6/(byte[256]) buffer2#15 )
+  (byte[256]) buffer1#19 ← phi( @1/(byte[256]) buffer1#20 @6/(byte[256]) buffer1#10 )
+  (byte[1000]) SCREEN#8 ← phi( @1/(byte[1000]) SCREEN#9 @6/(byte[1000]) SCREEN#1 )
+  (byte) c#6 ← phi( @1/(byte) 25 @6/(byte) c#1 )
+  (byte*) RASTER#3 ← phi( @1/(byte*) RASTER#5 @6/(byte*) RASTER#10 )
+  to:@3
+@3: from @2 @3
+  (byte[256]) buffer1#17 ← phi( @2/(byte[256]) buffer1#19 @3/(byte[256]) buffer1#17 )
+  (byte[256]) buffer2#10 ← phi( @2/(byte[256]) buffer2#12 @3/(byte[256]) buffer2#10 )
+  (byte[1000]) SCREEN#6 ← phi( @2/(byte[1000]) SCREEN#8 @3/(byte[1000]) SCREEN#6 )
+  (byte) c#4 ← phi( @2/(byte) c#6 @3/(byte) c#4 )
+  (byte*) RASTER#1 ← phi( @2/(byte*) RASTER#3 @3/(byte*) RASTER#1 )
+  (byte~) $1 ← * (byte*) RASTER#1
+  (boolean~) $2 ← (byte~) $1 != (byte) 254
+  if((boolean~) $2) goto @3
+  to:@5
+@5: from @3
+  to:@4
+@4: from @4 @5
+  (byte[256]) buffer1#10 ← phi( @4/(byte[256]) buffer1#10 @5/(byte[256]) buffer1#17 )
+  (byte[256]) buffer2#15 ← phi( @4/(byte[256]) buffer2#15 @5/(byte[256]) buffer2#10 )
+  (byte[1000]) SCREEN#1 ← phi( @4/(byte[1000]) SCREEN#1 @5/(byte[1000]) SCREEN#6 )
+  (byte) c#2 ← phi( @4/(byte) c#2 @5/(byte) c#4 )
+  (byte*) RASTER#10 ← phi( @4/(byte*) RASTER#10 @5/(byte*) RASTER#1 )
+  (byte~) $3 ← * (byte*) RASTER#10
+  (boolean~) $4 ← (byte~) $3 != (byte) 255
+  if((boolean~) $4) goto @4
+  to:@6
+@6: from @4
+  (byte) c#1 ← -- (byte) c#2
+  (boolean~) $5 ← (byte) c#1 != (byte) 0
+  if((boolean~) $5) goto @2
+  to:@7
+@7: from @6
+  call flip param-assignment
+  to:@19
+@19: from @7
+  call plot param-assignment
+  to:@20
+@20: from @19
+  if(true) goto @1
+  to:@END
+prepare: from @BEGIN
+  to:prepare::@1
+prepare::@1: from prepare prepare::@1
+  (byte[256]) buffer1#1 ← phi( prepare/(word) 4096 prepare::@1/(byte[256]) buffer1#1 )
+  (byte) prepare::i#2 ← phi( prepare/(byte) 0 prepare::@1/(byte) prepare::i#1 )
+  *((byte[256]) buffer1#1 + (byte) prepare::i#2) ← (byte) prepare::i#2
+  (byte) prepare::i#1 ← ++ (byte) prepare::i#2
+  (boolean~) prepare::$0 ← (byte) prepare::i#1 != (byte) 0
+  if((boolean~) prepare::$0) goto prepare::@1
+  to:prepare::@return
+prepare::@return: from prepare::@1
+  return 
+  to:@RETURN
+flip: from @7
+  to:flip::@1
+flip::@1: from @11 flip
+  (byte) flip::r#4 ← phi( @11/(byte) flip::r#1 flip/(byte) 16 )
+  (byte[256]) buffer1#6 ← phi( @11/(byte[256]) buffer1#2 flip/(byte[256]) buffer1#10 )
+  (byte) flip::srcIdx#3 ← phi( @11/(byte) flip::srcIdx#1 flip/(byte) 0 )
+  (byte[256]) buffer2#3 ← phi( @11/(byte[256]) buffer2#1 flip/(byte[256]) buffer2#15 )
+  (byte) flip::dstIdx#5 ← phi( @11/(byte) flip::dstIdx#2 flip/(byte) 15 )
+  to:flip::@2
+flip::@2: from flip::@1 flip::@2
+  (byte) flip::r#2 ← phi( flip::@1/(byte) flip::r#4 flip::@2/(byte) flip::r#2 )
+  (byte) flip::c#2 ← phi( flip::@1/(byte) 16 flip::@2/(byte) flip::c#1 )
+  (byte) flip::dstIdx#3 ← phi( flip::@1/(byte) flip::dstIdx#5 flip::@2/(byte) flip::dstIdx#1 )
+  (byte[256]) buffer2#1 ← phi( flip::@1/(byte[256]) buffer2#3 flip::@2/(byte[256]) buffer2#1 )
+  (byte) flip::srcIdx#2 ← phi( flip::@1/(byte) flip::srcIdx#3 flip::@2/(byte) flip::srcIdx#1 )
+  (byte[256]) buffer1#2 ← phi( flip::@1/(byte[256]) buffer1#6 flip::@2/(byte[256]) buffer1#2 )
+  (byte~) flip::$0 ← (byte[256]) buffer1#2 *idx (byte) flip::srcIdx#2
+  *((byte[256]) buffer2#1 + (byte) flip::dstIdx#3) ← (byte~) flip::$0
+  (byte) flip::srcIdx#1 ← ++ (byte) flip::srcIdx#2
+  (byte) flip::dstIdx#1 ← (byte) flip::dstIdx#3 + (byte) 16
+  (byte) flip::c#1 ← -- (byte) flip::c#2
+  (boolean~) flip::$2 ← (byte) flip::c#1 != (byte) 0
+  if((boolean~) flip::$2) goto flip::@2
+  to:@11
+@11: from flip::@2
+  (byte) flip::dstIdx#2 ← -- (byte) flip::dstIdx#1
+  (byte) flip::r#1 ← -- (byte) flip::r#2
+  (boolean~) flip::$3 ← (byte) flip::r#1 != (byte) 0
+  if((boolean~) flip::$3) goto flip::@1
+  to:@12
+@12: from @11
+  to:flip::@3
+flip::@3: from @12 flip::@3
+  (byte[256]) buffer1#3 ← phi( @12/(byte[256]) buffer1#2 flip::@3/(byte[256]) buffer1#3 )
+  (byte) flip::i#2 ← phi( @12/(byte) 0 flip::@3/(byte) flip::i#1 )
+  (byte[256]) buffer2#2 ← phi( @12/(byte[256]) buffer2#1 flip::@3/(byte[256]) buffer2#2 )
+  (byte~) flip::$4 ← (byte[256]) buffer2#2 *idx (byte) flip::i#2
+  *((byte[256]) buffer1#3 + (byte) flip::i#2) ← (byte~) flip::$4
+  (byte) flip::i#1 ← ++ (byte) flip::i#2
+  (boolean~) flip::$5 ← (byte) flip::i#1 != (byte) 0
+  if((boolean~) flip::$5) goto flip::@3
+  to:flip::@return
+flip::@return: from flip::@3
+  return 
+  to:@RETURN
+plot: from @19
+  (byte*) plot::line#0 ← (byte[1000]) SCREEN#1 + (byte) 212
+  to:plot::@1
+plot::@1: from @15 plot
+  (byte) plot::y#4 ← phi( @15/(byte) plot::y#1 plot/(byte) 16 )
+  (byte[256]) buffer1#8 ← phi( @15/(byte[256]) buffer1#11 plot/(byte[256]) buffer1#10 )
+  (byte) plot::i#3 ← phi( @15/(byte) plot::i#1 plot/(byte) 0 )
+  (byte*) plot::line#4 ← phi( @15/(byte*) plot::line#1 plot/(byte*) plot::line#0 )
+  to:plot::@2
+plot::@2: from plot::@1 plot::@2
+  (byte) plot::y#2 ← phi( plot::@1/(byte) plot::y#4 plot::@2/(byte) plot::y#2 )
+  (byte) plot::x#2 ← phi( plot::@1/(byte) 0 plot::@2/(byte) plot::x#1 )
+  (byte*) plot::line#2 ← phi( plot::@1/(byte*) plot::line#4 plot::@2/(byte*) plot::line#2 )
+  (byte) plot::i#2 ← phi( plot::@1/(byte) plot::i#3 plot::@2/(byte) plot::i#1 )
+  (byte[256]) buffer1#11 ← phi( plot::@1/(byte[256]) buffer1#8 plot::@2/(byte[256]) buffer1#11 )
+  (byte~) plot::$3 ← (byte[256]) buffer1#11 *idx (byte) plot::i#2
+  *((byte*) plot::line#2 + (byte) plot::x#2) ← (byte~) plot::$3
+  (byte) plot::i#1 ← ++ (byte) plot::i#2
+  (byte) plot::x#1 ← ++ (byte) plot::x#2
+  (boolean~) plot::$4 ← (byte) plot::x#1 < (byte) 16
+  if((boolean~) plot::$4) goto plot::@2
+  to:@15
+@15: from plot::@2
+  (byte*) plot::line#1 ← (byte*) plot::line#2 + (byte) 40
+  (byte) plot::y#1 ← -- (byte) plot::y#2
+  (boolean~) plot::$6 ← (byte) plot::y#1 != (byte) 0
+  if((boolean~) plot::$6) goto plot::@1
+  to:plot::@return
+plot::@return: from @15
+  return 
+  to:@RETURN
+@END: from @20
+
+Self Phi Eliminated (byte[256]) buffer1#17
+Self Phi Eliminated (byte[256]) buffer2#10
+Self Phi Eliminated (byte[1000]) SCREEN#6
+Self Phi Eliminated (byte) c#4
+Self Phi Eliminated (byte*) RASTER#1
+Self Phi Eliminated (byte[256]) buffer1#10
+Self Phi Eliminated (byte[256]) buffer2#15
+Self Phi Eliminated (byte[1000]) SCREEN#1
+Self Phi Eliminated (byte) c#2
+Self Phi Eliminated (byte*) RASTER#10
+Self Phi Eliminated (byte[256]) buffer1#1
+Self Phi Eliminated (byte) flip::r#2
+Self Phi Eliminated (byte[256]) buffer2#1
+Self Phi Eliminated (byte[256]) buffer1#2
+Self Phi Eliminated (byte[256]) buffer1#3
+Self Phi Eliminated (byte[256]) buffer2#2
+Self Phi Eliminated (byte) plot::y#2
+Self Phi Eliminated (byte*) plot::line#2
+Self Phi Eliminated (byte[256]) buffer1#11
+Succesful SSA optimization dk.camelot64.kickc.icl.Pass2SelfPhiElimination@7f4049d6
+CONTROL FLOW GRAPH
+@BEGIN: from
+  call prepare param-assignment
+  to:@18
+@18: from @BEGIN
+  to:@1
+@1: from @18 @20
+  (byte[256]) buffer1#20 ← phi( @18/(word) 4096 @20/(byte[256]) buffer1#10 )
+  (byte[256]) buffer2#13 ← phi( @18/(word) 4352 @20/(byte[256]) buffer2#15 )
+  (byte[1000]) SCREEN#9 ← phi( @18/(word) 1024 @20/(byte[1000]) SCREEN#1 )
+  (byte*) RASTER#5 ← phi( @18/(word) 53266 @20/(byte*) RASTER#10 )
+  to:@2
+@2: from @1 @6
+  (byte[256]) buffer2#12 ← phi( @1/(byte[256]) buffer2#13 @6/(byte[256]) buffer2#15 )
+  (byte[256]) buffer1#19 ← phi( @1/(byte[256]) buffer1#20 @6/(byte[256]) buffer1#10 )
+  (byte[1000]) SCREEN#8 ← phi( @1/(byte[1000]) SCREEN#9 @6/(byte[1000]) SCREEN#1 )
+  (byte) c#6 ← phi( @1/(byte) 25 @6/(byte) c#1 )
+  (byte*) RASTER#3 ← phi( @1/(byte*) RASTER#5 @6/(byte*) RASTER#10 )
+  to:@3
+@3: from @2 @3
+  (byte[256]) buffer1#17 ← phi( @2/(byte[256]) buffer1#19 )
+  (byte[256]) buffer2#10 ← phi( @2/(byte[256]) buffer2#12 )
+  (byte[1000]) SCREEN#6 ← phi( @2/(byte[1000]) SCREEN#8 )
+  (byte) c#4 ← phi( @2/(byte) c#6 )
+  (byte*) RASTER#1 ← phi( @2/(byte*) RASTER#3 )
+  (byte~) $1 ← * (byte*) RASTER#1
+  (boolean~) $2 ← (byte~) $1 != (byte) 254
+  if((boolean~) $2) goto @3
+  to:@5
+@5: from @3
+  to:@4
+@4: from @4 @5
+  (byte[256]) buffer1#10 ← phi( @5/(byte[256]) buffer1#17 )
+  (byte[256]) buffer2#15 ← phi( @5/(byte[256]) buffer2#10 )
+  (byte[1000]) SCREEN#1 ← phi( @5/(byte[1000]) SCREEN#6 )
+  (byte) c#2 ← phi( @5/(byte) c#4 )
+  (byte*) RASTER#10 ← phi( @5/(byte*) RASTER#1 )
+  (byte~) $3 ← * (byte*) RASTER#10
+  (boolean~) $4 ← (byte~) $3 != (byte) 255
+  if((boolean~) $4) goto @4
+  to:@6
+@6: from @4
+  (byte) c#1 ← -- (byte) c#2
+  (boolean~) $5 ← (byte) c#1 != (byte) 0
+  if((boolean~) $5) goto @2
+  to:@7
+@7: from @6
+  call flip param-assignment
+  to:@19
+@19: from @7
+  call plot param-assignment
+  to:@20
+@20: from @19
+  if(true) goto @1
+  to:@END
+prepare: from @BEGIN
+  to:prepare::@1
+prepare::@1: from prepare prepare::@1
+  (byte[256]) buffer1#1 ← phi( prepare/(word) 4096 )
+  (byte) prepare::i#2 ← phi( prepare/(byte) 0 prepare::@1/(byte) prepare::i#1 )
+  *((byte[256]) buffer1#1 + (byte) prepare::i#2) ← (byte) prepare::i#2
+  (byte) prepare::i#1 ← ++ (byte) prepare::i#2
+  (boolean~) prepare::$0 ← (byte) prepare::i#1 != (byte) 0
+  if((boolean~) prepare::$0) goto prepare::@1
+  to:prepare::@return
+prepare::@return: from prepare::@1
+  return 
+  to:@RETURN
+flip: from @7
+  to:flip::@1
+flip::@1: from @11 flip
+  (byte) flip::r#4 ← phi( @11/(byte) flip::r#1 flip/(byte) 16 )
+  (byte[256]) buffer1#6 ← phi( @11/(byte[256]) buffer1#2 flip/(byte[256]) buffer1#10 )
+  (byte) flip::srcIdx#3 ← phi( @11/(byte) flip::srcIdx#1 flip/(byte) 0 )
+  (byte[256]) buffer2#3 ← phi( @11/(byte[256]) buffer2#1 flip/(byte[256]) buffer2#15 )
+  (byte) flip::dstIdx#5 ← phi( @11/(byte) flip::dstIdx#2 flip/(byte) 15 )
+  to:flip::@2
+flip::@2: from flip::@1 flip::@2
+  (byte) flip::r#2 ← phi( flip::@1/(byte) flip::r#4 )
+  (byte) flip::c#2 ← phi( flip::@1/(byte) 16 flip::@2/(byte) flip::c#1 )
+  (byte) flip::dstIdx#3 ← phi( flip::@1/(byte) flip::dstIdx#5 flip::@2/(byte) flip::dstIdx#1 )
+  (byte[256]) buffer2#1 ← phi( flip::@1/(byte[256]) buffer2#3 )
+  (byte) flip::srcIdx#2 ← phi( flip::@1/(byte) flip::srcIdx#3 flip::@2/(byte) flip::srcIdx#1 )
+  (byte[256]) buffer1#2 ← phi( flip::@1/(byte[256]) buffer1#6 )
+  (byte~) flip::$0 ← (byte[256]) buffer1#2 *idx (byte) flip::srcIdx#2
+  *((byte[256]) buffer2#1 + (byte) flip::dstIdx#3) ← (byte~) flip::$0
+  (byte) flip::srcIdx#1 ← ++ (byte) flip::srcIdx#2
+  (byte) flip::dstIdx#1 ← (byte) flip::dstIdx#3 + (byte) 16
+  (byte) flip::c#1 ← -- (byte) flip::c#2
+  (boolean~) flip::$2 ← (byte) flip::c#1 != (byte) 0
+  if((boolean~) flip::$2) goto flip::@2
+  to:@11
+@11: from flip::@2
+  (byte) flip::dstIdx#2 ← -- (byte) flip::dstIdx#1
+  (byte) flip::r#1 ← -- (byte) flip::r#2
+  (boolean~) flip::$3 ← (byte) flip::r#1 != (byte) 0
+  if((boolean~) flip::$3) goto flip::@1
+  to:@12
+@12: from @11
+  to:flip::@3
+flip::@3: from @12 flip::@3
+  (byte[256]) buffer1#3 ← phi( @12/(byte[256]) buffer1#2 )
+  (byte) flip::i#2 ← phi( @12/(byte) 0 flip::@3/(byte) flip::i#1 )
+  (byte[256]) buffer2#2 ← phi( @12/(byte[256]) buffer2#1 )
+  (byte~) flip::$4 ← (byte[256]) buffer2#2 *idx (byte) flip::i#2
+  *((byte[256]) buffer1#3 + (byte) flip::i#2) ← (byte~) flip::$4
+  (byte) flip::i#1 ← ++ (byte) flip::i#2
+  (boolean~) flip::$5 ← (byte) flip::i#1 != (byte) 0
+  if((boolean~) flip::$5) goto flip::@3
+  to:flip::@return
+flip::@return: from flip::@3
+  return 
+  to:@RETURN
+plot: from @19
+  (byte*) plot::line#0 ← (byte[1000]) SCREEN#1 + (byte) 212
+  to:plot::@1
+plot::@1: from @15 plot
+  (byte) plot::y#4 ← phi( @15/(byte) plot::y#1 plot/(byte) 16 )
+  (byte[256]) buffer1#8 ← phi( @15/(byte[256]) buffer1#11 plot/(byte[256]) buffer1#10 )
+  (byte) plot::i#3 ← phi( @15/(byte) plot::i#1 plot/(byte) 0 )
+  (byte*) plot::line#4 ← phi( @15/(byte*) plot::line#1 plot/(byte*) plot::line#0 )
+  to:plot::@2
+plot::@2: from plot::@1 plot::@2
+  (byte) plot::y#2 ← phi( plot::@1/(byte) plot::y#4 )
+  (byte) plot::x#2 ← phi( plot::@1/(byte) 0 plot::@2/(byte) plot::x#1 )
+  (byte*) plot::line#2 ← phi( plot::@1/(byte*) plot::line#4 )
+  (byte) plot::i#2 ← phi( plot::@1/(byte) plot::i#3 plot::@2/(byte) plot::i#1 )
+  (byte[256]) buffer1#11 ← phi( plot::@1/(byte[256]) buffer1#8 )
+  (byte~) plot::$3 ← (byte[256]) buffer1#11 *idx (byte) plot::i#2
+  *((byte*) plot::line#2 + (byte) plot::x#2) ← (byte~) plot::$3
+  (byte) plot::i#1 ← ++ (byte) plot::i#2
+  (byte) plot::x#1 ← ++ (byte) plot::x#2
+  (boolean~) plot::$4 ← (byte) plot::x#1 < (byte) 16
+  if((boolean~) plot::$4) goto plot::@2
+  to:@15
+@15: from plot::@2
+  (byte*) plot::line#1 ← (byte*) plot::line#2 + (byte) 40
+  (byte) plot::y#1 ← -- (byte) plot::y#2
+  (boolean~) plot::$6 ← (byte) plot::y#1 != (byte) 0
+  if((boolean~) plot::$6) goto plot::@1
+  to:plot::@return
+plot::@return: from @15
+  return 
+  to:@RETURN
+@END: from @20
+
+Simple Condition (boolean~) $2 if((byte~) $1!=(byte) 254) goto @3
+Simple Condition (boolean~) $4 if((byte~) $3!=(byte) 255) goto @4
+Simple Condition (boolean~) $5 if((byte) c#1!=(byte) 0) goto @2
+Simple Condition (boolean~) prepare::$0 if((byte) prepare::i#1!=(byte) 0) goto prepare::@1
+Simple Condition (boolean~) flip::$2 if((byte) flip::c#1!=(byte) 0) goto flip::@2
+Simple Condition (boolean~) flip::$3 if((byte) flip::r#1!=(byte) 0) goto flip::@1
+Simple Condition (boolean~) flip::$5 if((byte) flip::i#1!=(byte) 0) goto flip::@3
+Simple Condition (boolean~) plot::$4 if((byte) plot::x#1<(byte) 16) goto plot::@2
+Simple Condition (boolean~) plot::$6 if((byte) plot::y#1!=(byte) 0) goto plot::@1
+Succesful SSA optimization dk.camelot64.kickc.icl.Pass2ConditionalJumpSimplification@55afc1de
+CONTROL FLOW GRAPH
+@BEGIN: from
+  call prepare param-assignment
+  to:@18
+@18: from @BEGIN
+  to:@1
+@1: from @18 @20
+  (byte[256]) buffer1#20 ← phi( @18/(word) 4096 @20/(byte[256]) buffer1#10 )
+  (byte[256]) buffer2#13 ← phi( @18/(word) 4352 @20/(byte[256]) buffer2#15 )
+  (byte[1000]) SCREEN#9 ← phi( @18/(word) 1024 @20/(byte[1000]) SCREEN#1 )
+  (byte*) RASTER#5 ← phi( @18/(word) 53266 @20/(byte*) RASTER#10 )
+  to:@2
+@2: from @1 @6
+  (byte[256]) buffer2#12 ← phi( @1/(byte[256]) buffer2#13 @6/(byte[256]) buffer2#15 )
+  (byte[256]) buffer1#19 ← phi( @1/(byte[256]) buffer1#20 @6/(byte[256]) buffer1#10 )
+  (byte[1000]) SCREEN#8 ← phi( @1/(byte[1000]) SCREEN#9 @6/(byte[1000]) SCREEN#1 )
+  (byte) c#6 ← phi( @1/(byte) 25 @6/(byte) c#1 )
+  (byte*) RASTER#3 ← phi( @1/(byte*) RASTER#5 @6/(byte*) RASTER#10 )
+  to:@3
+@3: from @2 @3
+  (byte[256]) buffer1#17 ← phi( @2/(byte[256]) buffer1#19 )
+  (byte[256]) buffer2#10 ← phi( @2/(byte[256]) buffer2#12 )
+  (byte[1000]) SCREEN#6 ← phi( @2/(byte[1000]) SCREEN#8 )
+  (byte) c#4 ← phi( @2/(byte) c#6 )
+  (byte*) RASTER#1 ← phi( @2/(byte*) RASTER#3 )
+  (byte~) $1 ← * (byte*) RASTER#1
+  if((byte~) $1!=(byte) 254) goto @3
+  to:@5
+@5: from @3
+  to:@4
+@4: from @4 @5
+  (byte[256]) buffer1#10 ← phi( @5/(byte[256]) buffer1#17 )
+  (byte[256]) buffer2#15 ← phi( @5/(byte[256]) buffer2#10 )
+  (byte[1000]) SCREEN#1 ← phi( @5/(byte[1000]) SCREEN#6 )
+  (byte) c#2 ← phi( @5/(byte) c#4 )
+  (byte*) RASTER#10 ← phi( @5/(byte*) RASTER#1 )
+  (byte~) $3 ← * (byte*) RASTER#10
+  if((byte~) $3!=(byte) 255) goto @4
+  to:@6
+@6: from @4
+  (byte) c#1 ← -- (byte) c#2
+  if((byte) c#1!=(byte) 0) goto @2
+  to:@7
+@7: from @6
+  call flip param-assignment
+  to:@19
+@19: from @7
+  call plot param-assignment
+  to:@20
+@20: from @19
+  if(true) goto @1
+  to:@END
+prepare: from @BEGIN
+  to:prepare::@1
+prepare::@1: from prepare prepare::@1
+  (byte[256]) buffer1#1 ← phi( prepare/(word) 4096 )
+  (byte) prepare::i#2 ← phi( prepare/(byte) 0 prepare::@1/(byte) prepare::i#1 )
+  *((byte[256]) buffer1#1 + (byte) prepare::i#2) ← (byte) prepare::i#2
+  (byte) prepare::i#1 ← ++ (byte) prepare::i#2
+  if((byte) prepare::i#1!=(byte) 0) goto prepare::@1
+  to:prepare::@return
+prepare::@return: from prepare::@1
+  return 
+  to:@RETURN
+flip: from @7
+  to:flip::@1
+flip::@1: from @11 flip
+  (byte) flip::r#4 ← phi( @11/(byte) flip::r#1 flip/(byte) 16 )
+  (byte[256]) buffer1#6 ← phi( @11/(byte[256]) buffer1#2 flip/(byte[256]) buffer1#10 )
+  (byte) flip::srcIdx#3 ← phi( @11/(byte) flip::srcIdx#1 flip/(byte) 0 )
+  (byte[256]) buffer2#3 ← phi( @11/(byte[256]) buffer2#1 flip/(byte[256]) buffer2#15 )
+  (byte) flip::dstIdx#5 ← phi( @11/(byte) flip::dstIdx#2 flip/(byte) 15 )
+  to:flip::@2
+flip::@2: from flip::@1 flip::@2
+  (byte) flip::r#2 ← phi( flip::@1/(byte) flip::r#4 )
+  (byte) flip::c#2 ← phi( flip::@1/(byte) 16 flip::@2/(byte) flip::c#1 )
+  (byte) flip::dstIdx#3 ← phi( flip::@1/(byte) flip::dstIdx#5 flip::@2/(byte) flip::dstIdx#1 )
+  (byte[256]) buffer2#1 ← phi( flip::@1/(byte[256]) buffer2#3 )
+  (byte) flip::srcIdx#2 ← phi( flip::@1/(byte) flip::srcIdx#3 flip::@2/(byte) flip::srcIdx#1 )
+  (byte[256]) buffer1#2 ← phi( flip::@1/(byte[256]) buffer1#6 )
+  (byte~) flip::$0 ← (byte[256]) buffer1#2 *idx (byte) flip::srcIdx#2
+  *((byte[256]) buffer2#1 + (byte) flip::dstIdx#3) ← (byte~) flip::$0
+  (byte) flip::srcIdx#1 ← ++ (byte) flip::srcIdx#2
+  (byte) flip::dstIdx#1 ← (byte) flip::dstIdx#3 + (byte) 16
+  (byte) flip::c#1 ← -- (byte) flip::c#2
+  if((byte) flip::c#1!=(byte) 0) goto flip::@2
+  to:@11
+@11: from flip::@2
+  (byte) flip::dstIdx#2 ← -- (byte) flip::dstIdx#1
+  (byte) flip::r#1 ← -- (byte) flip::r#2
+  if((byte) flip::r#1!=(byte) 0) goto flip::@1
+  to:@12
+@12: from @11
+  to:flip::@3
+flip::@3: from @12 flip::@3
+  (byte[256]) buffer1#3 ← phi( @12/(byte[256]) buffer1#2 )
+  (byte) flip::i#2 ← phi( @12/(byte) 0 flip::@3/(byte) flip::i#1 )
+  (byte[256]) buffer2#2 ← phi( @12/(byte[256]) buffer2#1 )
+  (byte~) flip::$4 ← (byte[256]) buffer2#2 *idx (byte) flip::i#2
+  *((byte[256]) buffer1#3 + (byte) flip::i#2) ← (byte~) flip::$4
+  (byte) flip::i#1 ← ++ (byte) flip::i#2
+  if((byte) flip::i#1!=(byte) 0) goto flip::@3
+  to:flip::@return
+flip::@return: from flip::@3
+  return 
+  to:@RETURN
+plot: from @19
+  (byte*) plot::line#0 ← (byte[1000]) SCREEN#1 + (byte) 212
+  to:plot::@1
+plot::@1: from @15 plot
+  (byte) plot::y#4 ← phi( @15/(byte) plot::y#1 plot/(byte) 16 )
+  (byte[256]) buffer1#8 ← phi( @15/(byte[256]) buffer1#11 plot/(byte[256]) buffer1#10 )
+  (byte) plot::i#3 ← phi( @15/(byte) plot::i#1 plot/(byte) 0 )
+  (byte*) plot::line#4 ← phi( @15/(byte*) plot::line#1 plot/(byte*) plot::line#0 )
+  to:plot::@2
+plot::@2: from plot::@1 plot::@2
+  (byte) plot::y#2 ← phi( plot::@1/(byte) plot::y#4 )
+  (byte) plot::x#2 ← phi( plot::@1/(byte) 0 plot::@2/(byte) plot::x#1 )
+  (byte*) plot::line#2 ← phi( plot::@1/(byte*) plot::line#4 )
+  (byte) plot::i#2 ← phi( plot::@1/(byte) plot::i#3 plot::@2/(byte) plot::i#1 )
+  (byte[256]) buffer1#11 ← phi( plot::@1/(byte[256]) buffer1#8 )
+  (byte~) plot::$3 ← (byte[256]) buffer1#11 *idx (byte) plot::i#2
+  *((byte*) plot::line#2 + (byte) plot::x#2) ← (byte~) plot::$3
+  (byte) plot::i#1 ← ++ (byte) plot::i#2
+  (byte) plot::x#1 ← ++ (byte) plot::x#2
+  if((byte) plot::x#1<(byte) 16) goto plot::@2
+  to:@15
+@15: from plot::@2
+  (byte*) plot::line#1 ← (byte*) plot::line#2 + (byte) 40
+  (byte) plot::y#1 ← -- (byte) plot::y#2
+  if((byte) plot::y#1!=(byte) 0) goto plot::@1
+  to:plot::@return
+plot::@return: from @15
+  return 
+  to:@RETURN
+@END: from @20
+
+Culled Empty Block (label) @18
+Culled Empty Block (label) @5
+Culled Empty Block (label) @12
+Succesful SSA optimization dk.camelot64.kickc.icl.Pass2CullEmptyBlocks@21a34544
+CONTROL FLOW GRAPH
+@BEGIN: from
+  call prepare param-assignment
+  to:@1
+@1: from @20 @BEGIN
+  (byte[256]) buffer1#20 ← phi( @BEGIN/(word) 4096 @20/(byte[256]) buffer1#10 )
+  (byte[256]) buffer2#13 ← phi( @BEGIN/(word) 4352 @20/(byte[256]) buffer2#15 )
+  (byte[1000]) SCREEN#9 ← phi( @BEGIN/(word) 1024 @20/(byte[1000]) SCREEN#1 )
+  (byte*) RASTER#5 ← phi( @BEGIN/(word) 53266 @20/(byte*) RASTER#10 )
+  to:@2
+@2: from @1 @6
+  (byte[256]) buffer2#12 ← phi( @1/(byte[256]) buffer2#13 @6/(byte[256]) buffer2#15 )
+  (byte[256]) buffer1#19 ← phi( @1/(byte[256]) buffer1#20 @6/(byte[256]) buffer1#10 )
+  (byte[1000]) SCREEN#8 ← phi( @1/(byte[1000]) SCREEN#9 @6/(byte[1000]) SCREEN#1 )
+  (byte) c#6 ← phi( @1/(byte) 25 @6/(byte) c#1 )
+  (byte*) RASTER#3 ← phi( @1/(byte*) RASTER#5 @6/(byte*) RASTER#10 )
+  to:@3
+@3: from @2 @3
+  (byte[256]) buffer1#17 ← phi( @2/(byte[256]) buffer1#19 )
+  (byte[256]) buffer2#10 ← phi( @2/(byte[256]) buffer2#12 )
+  (byte[1000]) SCREEN#6 ← phi( @2/(byte[1000]) SCREEN#8 )
+  (byte) c#4 ← phi( @2/(byte) c#6 )
+  (byte*) RASTER#1 ← phi( @2/(byte*) RASTER#3 )
+  (byte~) $1 ← * (byte*) RASTER#1
+  if((byte~) $1!=(byte) 254) goto @3
+  to:@4
+@4: from @3 @4
+  (byte[256]) buffer1#10 ← phi( @3/(byte[256]) buffer1#17 )
+  (byte[256]) buffer2#15 ← phi( @3/(byte[256]) buffer2#10 )
+  (byte[1000]) SCREEN#1 ← phi( @3/(byte[1000]) SCREEN#6 )
+  (byte) c#2 ← phi( @3/(byte) c#4 )
+  (byte*) RASTER#10 ← phi( @3/(byte*) RASTER#1 )
+  (byte~) $3 ← * (byte*) RASTER#10
+  if((byte~) $3!=(byte) 255) goto @4
+  to:@6
+@6: from @4
+  (byte) c#1 ← -- (byte) c#2
+  if((byte) c#1!=(byte) 0) goto @2
+  to:@7
+@7: from @6
+  call flip param-assignment
+  to:@19
+@19: from @7
+  call plot param-assignment
+  to:@20
+@20: from @19
+  if(true) goto @1
+  to:@END
+prepare: from @BEGIN
+  to:prepare::@1
+prepare::@1: from prepare prepare::@1
+  (byte[256]) buffer1#1 ← phi( prepare/(word) 4096 )
+  (byte) prepare::i#2 ← phi( prepare/(byte) 0 prepare::@1/(byte) prepare::i#1 )
+  *((byte[256]) buffer1#1 + (byte) prepare::i#2) ← (byte) prepare::i#2
+  (byte) prepare::i#1 ← ++ (byte) prepare::i#2
+  if((byte) prepare::i#1!=(byte) 0) goto prepare::@1
+  to:prepare::@return
+prepare::@return: from prepare::@1
+  return 
+  to:@RETURN
+flip: from @7
+  to:flip::@1
+flip::@1: from @11 flip
+  (byte) flip::r#4 ← phi( @11/(byte) flip::r#1 flip/(byte) 16 )
+  (byte[256]) buffer1#6 ← phi( @11/(byte[256]) buffer1#2 flip/(byte[256]) buffer1#10 )
+  (byte) flip::srcIdx#3 ← phi( @11/(byte) flip::srcIdx#1 flip/(byte) 0 )
+  (byte[256]) buffer2#3 ← phi( @11/(byte[256]) buffer2#1 flip/(byte[256]) buffer2#15 )
+  (byte) flip::dstIdx#5 ← phi( @11/(byte) flip::dstIdx#2 flip/(byte) 15 )
+  to:flip::@2
+flip::@2: from flip::@1 flip::@2
+  (byte) flip::r#2 ← phi( flip::@1/(byte) flip::r#4 )
+  (byte) flip::c#2 ← phi( flip::@1/(byte) 16 flip::@2/(byte) flip::c#1 )
+  (byte) flip::dstIdx#3 ← phi( flip::@1/(byte) flip::dstIdx#5 flip::@2/(byte) flip::dstIdx#1 )
+  (byte[256]) buffer2#1 ← phi( flip::@1/(byte[256]) buffer2#3 )
+  (byte) flip::srcIdx#2 ← phi( flip::@1/(byte) flip::srcIdx#3 flip::@2/(byte) flip::srcIdx#1 )
+  (byte[256]) buffer1#2 ← phi( flip::@1/(byte[256]) buffer1#6 )
+  (byte~) flip::$0 ← (byte[256]) buffer1#2 *idx (byte) flip::srcIdx#2
+  *((byte[256]) buffer2#1 + (byte) flip::dstIdx#3) ← (byte~) flip::$0
+  (byte) flip::srcIdx#1 ← ++ (byte) flip::srcIdx#2
+  (byte) flip::dstIdx#1 ← (byte) flip::dstIdx#3 + (byte) 16
+  (byte) flip::c#1 ← -- (byte) flip::c#2
+  if((byte) flip::c#1!=(byte) 0) goto flip::@2
+  to:@11
+@11: from flip::@2
+  (byte) flip::dstIdx#2 ← -- (byte) flip::dstIdx#1
+  (byte) flip::r#1 ← -- (byte) flip::r#2
+  if((byte) flip::r#1!=(byte) 0) goto flip::@1
+  to:flip::@3
+flip::@3: from @11 flip::@3
+  (byte[256]) buffer1#3 ← phi( @11/(byte[256]) buffer1#2 )
+  (byte) flip::i#2 ← phi( @11/(byte) 0 flip::@3/(byte) flip::i#1 )
+  (byte[256]) buffer2#2 ← phi( @11/(byte[256]) buffer2#1 )
+  (byte~) flip::$4 ← (byte[256]) buffer2#2 *idx (byte) flip::i#2
+  *((byte[256]) buffer1#3 + (byte) flip::i#2) ← (byte~) flip::$4
+  (byte) flip::i#1 ← ++ (byte) flip::i#2
+  if((byte) flip::i#1!=(byte) 0) goto flip::@3
+  to:flip::@return
+flip::@return: from flip::@3
+  return 
+  to:@RETURN
+plot: from @19
+  (byte*) plot::line#0 ← (byte[1000]) SCREEN#1 + (byte) 212
+  to:plot::@1
+plot::@1: from @15 plot
+  (byte) plot::y#4 ← phi( @15/(byte) plot::y#1 plot/(byte) 16 )
+  (byte[256]) buffer1#8 ← phi( @15/(byte[256]) buffer1#11 plot/(byte[256]) buffer1#10 )
+  (byte) plot::i#3 ← phi( @15/(byte) plot::i#1 plot/(byte) 0 )
+  (byte*) plot::line#4 ← phi( @15/(byte*) plot::line#1 plot/(byte*) plot::line#0 )
+  to:plot::@2
+plot::@2: from plot::@1 plot::@2
+  (byte) plot::y#2 ← phi( plot::@1/(byte) plot::y#4 )
+  (byte) plot::x#2 ← phi( plot::@1/(byte) 0 plot::@2/(byte) plot::x#1 )
+  (byte*) plot::line#2 ← phi( plot::@1/(byte*) plot::line#4 )
+  (byte) plot::i#2 ← phi( plot::@1/(byte) plot::i#3 plot::@2/(byte) plot::i#1 )
+  (byte[256]) buffer1#11 ← phi( plot::@1/(byte[256]) buffer1#8 )
+  (byte~) plot::$3 ← (byte[256]) buffer1#11 *idx (byte) plot::i#2
+  *((byte*) plot::line#2 + (byte) plot::x#2) ← (byte~) plot::$3
+  (byte) plot::i#1 ← ++ (byte) plot::i#2
+  (byte) plot::x#1 ← ++ (byte) plot::x#2
+  if((byte) plot::x#1<(byte) 16) goto plot::@2
+  to:@15
+@15: from plot::@2
+  (byte*) plot::line#1 ← (byte*) plot::line#2 + (byte) 40
+  (byte) plot::y#1 ← -- (byte) plot::y#2
+  if((byte) plot::y#1!=(byte) 0) goto plot::@1
+  to:plot::@return
+plot::@return: from @15
+  return 
+  to:@RETURN
+@END: from @20
+
+Constant (byte[256]) buffer1#1 (word) 4096
+Succesful SSA optimization dk.camelot64.kickc.icl.Pass2ConstantPropagation@742e84e1
+CONTROL FLOW GRAPH
+@BEGIN: from
+  call prepare param-assignment
+  to:@1
+@1: from @20 @BEGIN
+  (byte[256]) buffer1#20 ← phi( @BEGIN/(word) 4096 @20/(byte[256]) buffer1#10 )
+  (byte[256]) buffer2#13 ← phi( @BEGIN/(word) 4352 @20/(byte[256]) buffer2#15 )
+  (byte[1000]) SCREEN#9 ← phi( @BEGIN/(word) 1024 @20/(byte[1000]) SCREEN#1 )
+  (byte*) RASTER#5 ← phi( @BEGIN/(word) 53266 @20/(byte*) RASTER#10 )
+  to:@2
+@2: from @1 @6
+  (byte[256]) buffer2#12 ← phi( @1/(byte[256]) buffer2#13 @6/(byte[256]) buffer2#15 )
+  (byte[256]) buffer1#19 ← phi( @1/(byte[256]) buffer1#20 @6/(byte[256]) buffer1#10 )
+  (byte[1000]) SCREEN#8 ← phi( @1/(byte[1000]) SCREEN#9 @6/(byte[1000]) SCREEN#1 )
+  (byte) c#6 ← phi( @1/(byte) 25 @6/(byte) c#1 )
+  (byte*) RASTER#3 ← phi( @1/(byte*) RASTER#5 @6/(byte*) RASTER#10 )
+  to:@3
+@3: from @2 @3
+  (byte[256]) buffer1#17 ← phi( @2/(byte[256]) buffer1#19 )
+  (byte[256]) buffer2#10 ← phi( @2/(byte[256]) buffer2#12 )
+  (byte[1000]) SCREEN#6 ← phi( @2/(byte[1000]) SCREEN#8 )
+  (byte) c#4 ← phi( @2/(byte) c#6 )
+  (byte*) RASTER#1 ← phi( @2/(byte*) RASTER#3 )
+  (byte~) $1 ← * (byte*) RASTER#1
+  if((byte~) $1!=(byte) 254) goto @3
+  to:@4
+@4: from @3 @4
+  (byte[256]) buffer1#10 ← phi( @3/(byte[256]) buffer1#17 )
+  (byte[256]) buffer2#15 ← phi( @3/(byte[256]) buffer2#10 )
+  (byte[1000]) SCREEN#1 ← phi( @3/(byte[1000]) SCREEN#6 )
+  (byte) c#2 ← phi( @3/(byte) c#4 )
+  (byte*) RASTER#10 ← phi( @3/(byte*) RASTER#1 )
+  (byte~) $3 ← * (byte*) RASTER#10
+  if((byte~) $3!=(byte) 255) goto @4
+  to:@6
+@6: from @4
+  (byte) c#1 ← -- (byte) c#2
+  if((byte) c#1!=(byte) 0) goto @2
+  to:@7
+@7: from @6
+  call flip param-assignment
+  to:@19
+@19: from @7
+  call plot param-assignment
+  to:@20
+@20: from @19
+  if(true) goto @1
+  to:@END
+prepare: from @BEGIN
+  to:prepare::@1
+prepare::@1: from prepare prepare::@1
+  (byte) prepare::i#2 ← phi( prepare/(byte) 0 prepare::@1/(byte) prepare::i#1 )
+  *((word) 4096 + (byte) prepare::i#2) ← (byte) prepare::i#2
+  (byte) prepare::i#1 ← ++ (byte) prepare::i#2
+  if((byte) prepare::i#1!=(byte) 0) goto prepare::@1
+  to:prepare::@return
+prepare::@return: from prepare::@1
+  return 
+  to:@RETURN
+flip: from @7
+  to:flip::@1
+flip::@1: from @11 flip
+  (byte) flip::r#4 ← phi( @11/(byte) flip::r#1 flip/(byte) 16 )
+  (byte[256]) buffer1#6 ← phi( @11/(byte[256]) buffer1#2 flip/(byte[256]) buffer1#10 )
+  (byte) flip::srcIdx#3 ← phi( @11/(byte) flip::srcIdx#1 flip/(byte) 0 )
+  (byte[256]) buffer2#3 ← phi( @11/(byte[256]) buffer2#1 flip/(byte[256]) buffer2#15 )
+  (byte) flip::dstIdx#5 ← phi( @11/(byte) flip::dstIdx#2 flip/(byte) 15 )
+  to:flip::@2
+flip::@2: from flip::@1 flip::@2
+  (byte) flip::r#2 ← phi( flip::@1/(byte) flip::r#4 )
+  (byte) flip::c#2 ← phi( flip::@1/(byte) 16 flip::@2/(byte) flip::c#1 )
+  (byte) flip::dstIdx#3 ← phi( flip::@1/(byte) flip::dstIdx#5 flip::@2/(byte) flip::dstIdx#1 )
+  (byte[256]) buffer2#1 ← phi( flip::@1/(byte[256]) buffer2#3 )
+  (byte) flip::srcIdx#2 ← phi( flip::@1/(byte) flip::srcIdx#3 flip::@2/(byte) flip::srcIdx#1 )
+  (byte[256]) buffer1#2 ← phi( flip::@1/(byte[256]) buffer1#6 )
+  (byte~) flip::$0 ← (byte[256]) buffer1#2 *idx (byte) flip::srcIdx#2
+  *((byte[256]) buffer2#1 + (byte) flip::dstIdx#3) ← (byte~) flip::$0
+  (byte) flip::srcIdx#1 ← ++ (byte) flip::srcIdx#2
+  (byte) flip::dstIdx#1 ← (byte) flip::dstIdx#3 + (byte) 16
+  (byte) flip::c#1 ← -- (byte) flip::c#2
+  if((byte) flip::c#1!=(byte) 0) goto flip::@2
+  to:@11
+@11: from flip::@2
+  (byte) flip::dstIdx#2 ← -- (byte) flip::dstIdx#1
+  (byte) flip::r#1 ← -- (byte) flip::r#2
+  if((byte) flip::r#1!=(byte) 0) goto flip::@1
+  to:flip::@3
+flip::@3: from @11 flip::@3
+  (byte[256]) buffer1#3 ← phi( @11/(byte[256]) buffer1#2 )
+  (byte) flip::i#2 ← phi( @11/(byte) 0 flip::@3/(byte) flip::i#1 )
+  (byte[256]) buffer2#2 ← phi( @11/(byte[256]) buffer2#1 )
+  (byte~) flip::$4 ← (byte[256]) buffer2#2 *idx (byte) flip::i#2
+  *((byte[256]) buffer1#3 + (byte) flip::i#2) ← (byte~) flip::$4
+  (byte) flip::i#1 ← ++ (byte) flip::i#2
+  if((byte) flip::i#1!=(byte) 0) goto flip::@3
+  to:flip::@return
+flip::@return: from flip::@3
+  return 
+  to:@RETURN
+plot: from @19
+  (byte*) plot::line#0 ← (byte[1000]) SCREEN#1 + (byte) 212
+  to:plot::@1
+plot::@1: from @15 plot
+  (byte) plot::y#4 ← phi( @15/(byte) plot::y#1 plot/(byte) 16 )
+  (byte[256]) buffer1#8 ← phi( @15/(byte[256]) buffer1#11 plot/(byte[256]) buffer1#10 )
+  (byte) plot::i#3 ← phi( @15/(byte) plot::i#1 plot/(byte) 0 )
+  (byte*) plot::line#4 ← phi( @15/(byte*) plot::line#1 plot/(byte*) plot::line#0 )
+  to:plot::@2
+plot::@2: from plot::@1 plot::@2
+  (byte) plot::y#2 ← phi( plot::@1/(byte) plot::y#4 )
+  (byte) plot::x#2 ← phi( plot::@1/(byte) 0 plot::@2/(byte) plot::x#1 )
+  (byte*) plot::line#2 ← phi( plot::@1/(byte*) plot::line#4 )
+  (byte) plot::i#2 ← phi( plot::@1/(byte) plot::i#3 plot::@2/(byte) plot::i#1 )
+  (byte[256]) buffer1#11 ← phi( plot::@1/(byte[256]) buffer1#8 )
+  (byte~) plot::$3 ← (byte[256]) buffer1#11 *idx (byte) plot::i#2
+  *((byte*) plot::line#2 + (byte) plot::x#2) ← (byte~) plot::$3
+  (byte) plot::i#1 ← ++ (byte) plot::i#2
+  (byte) plot::x#1 ← ++ (byte) plot::x#2
+  if((byte) plot::x#1<(byte) 16) goto plot::@2
+  to:@15
+@15: from plot::@2
+  (byte*) plot::line#1 ← (byte*) plot::line#2 + (byte) 40
+  (byte) plot::y#1 ← -- (byte) plot::y#2
+  if((byte) plot::y#1!=(byte) 0) goto plot::@1
+  to:plot::@return
+plot::@return: from @15
+  return 
+  to:@RETURN
+@END: from @20
+
+Multiple usages for variable. Not optimizing sub-constant (byte) prepare::i#2
+Multiple usages for variable. Not optimizing sub-constant (byte[1000]) SCREEN#1
+Alias (byte[256]) buffer1#10 = (byte[256]) buffer1#17 (byte[256]) buffer1#19 
+Alias (byte[256]) buffer2#10 = (byte[256]) buffer2#12 (byte[256]) buffer2#15 
+Alias (byte[1000]) SCREEN#1 = (byte[1000]) SCREEN#6 (byte[1000]) SCREEN#8 
+Alias (byte) c#2 = (byte) c#4 (byte) c#6 
+Alias (byte*) RASTER#1 = (byte*) RASTER#3 (byte*) RASTER#10 
+Alias (byte) flip::r#2 = (byte) flip::r#4 
+Alias (byte[256]) buffer2#1 = (byte[256]) buffer2#3 (byte[256]) buffer2#2 
+Alias (byte[256]) buffer1#2 = (byte[256]) buffer1#6 (byte[256]) buffer1#3 
+Alias (byte) plot::y#2 = (byte) plot::y#4 
+Alias (byte*) plot::line#2 = (byte*) plot::line#4 
+Alias (byte[256]) buffer1#11 = (byte[256]) buffer1#8 
+Succesful SSA optimization dk.camelot64.kickc.icl.Pass2AliasElimination@3a1af7aa
+CONTROL FLOW GRAPH
+@BEGIN: from
+  call prepare param-assignment
+  to:@1
+@1: from @20 @BEGIN
+  (byte[256]) buffer1#20 ← phi( @BEGIN/(word) 4096 @20/(byte[256]) buffer1#10 )
+  (byte[256]) buffer2#13 ← phi( @BEGIN/(word) 4352 @20/(byte[256]) buffer2#10 )
+  (byte[1000]) SCREEN#9 ← phi( @BEGIN/(word) 1024 @20/(byte[1000]) SCREEN#1 )
+  (byte*) RASTER#5 ← phi( @BEGIN/(word) 53266 @20/(byte*) RASTER#1 )
+  to:@2
+@2: from @1 @6
+  (byte[256]) buffer2#10 ← phi( @1/(byte[256]) buffer2#13 @6/(byte[256]) buffer2#10 )
+  (byte[256]) buffer1#10 ← phi( @1/(byte[256]) buffer1#20 @6/(byte[256]) buffer1#10 )
+  (byte[1000]) SCREEN#1 ← phi( @1/(byte[1000]) SCREEN#9 @6/(byte[1000]) SCREEN#1 )
+  (byte) c#2 ← phi( @1/(byte) 25 @6/(byte) c#1 )
+  (byte*) RASTER#1 ← phi( @1/(byte*) RASTER#5 @6/(byte*) RASTER#1 )
+  to:@3
+@3: from @2 @3
+  (byte~) $1 ← * (byte*) RASTER#1
+  if((byte~) $1!=(byte) 254) goto @3
+  to:@4
+@4: from @3 @4
+  (byte~) $3 ← * (byte*) RASTER#1
+  if((byte~) $3!=(byte) 255) goto @4
+  to:@6
+@6: from @4
+  (byte) c#1 ← -- (byte) c#2
+  if((byte) c#1!=(byte) 0) goto @2
+  to:@7
+@7: from @6
+  call flip param-assignment
+  to:@19
+@19: from @7
+  call plot param-assignment
+  to:@20
+@20: from @19
+  if(true) goto @1
+  to:@END
+prepare: from @BEGIN
+  to:prepare::@1
+prepare::@1: from prepare prepare::@1
+  (byte) prepare::i#2 ← phi( prepare/(byte) 0 prepare::@1/(byte) prepare::i#1 )
+  *((word) 4096 + (byte) prepare::i#2) ← (byte) prepare::i#2
+  (byte) prepare::i#1 ← ++ (byte) prepare::i#2
+  if((byte) prepare::i#1!=(byte) 0) goto prepare::@1
+  to:prepare::@return
+prepare::@return: from prepare::@1
+  return 
+  to:@RETURN
+flip: from @7
+  to:flip::@1
+flip::@1: from @11 flip
+  (byte) flip::r#2 ← phi( @11/(byte) flip::r#1 flip/(byte) 16 )
+  (byte[256]) buffer1#2 ← phi( @11/(byte[256]) buffer1#2 flip/(byte[256]) buffer1#10 )
+  (byte) flip::srcIdx#3 ← phi( @11/(byte) flip::srcIdx#1 flip/(byte) 0 )
+  (byte[256]) buffer2#1 ← phi( @11/(byte[256]) buffer2#1 flip/(byte[256]) buffer2#10 )
+  (byte) flip::dstIdx#5 ← phi( @11/(byte) flip::dstIdx#2 flip/(byte) 15 )
+  to:flip::@2
+flip::@2: from flip::@1 flip::@2
+  (byte) flip::c#2 ← phi( flip::@1/(byte) 16 flip::@2/(byte) flip::c#1 )
+  (byte) flip::dstIdx#3 ← phi( flip::@1/(byte) flip::dstIdx#5 flip::@2/(byte) flip::dstIdx#1 )
+  (byte) flip::srcIdx#2 ← phi( flip::@1/(byte) flip::srcIdx#3 flip::@2/(byte) flip::srcIdx#1 )
+  (byte~) flip::$0 ← (byte[256]) buffer1#2 *idx (byte) flip::srcIdx#2
+  *((byte[256]) buffer2#1 + (byte) flip::dstIdx#3) ← (byte~) flip::$0
+  (byte) flip::srcIdx#1 ← ++ (byte) flip::srcIdx#2
+  (byte) flip::dstIdx#1 ← (byte) flip::dstIdx#3 + (byte) 16
+  (byte) flip::c#1 ← -- (byte) flip::c#2
+  if((byte) flip::c#1!=(byte) 0) goto flip::@2
+  to:@11
+@11: from flip::@2
+  (byte) flip::dstIdx#2 ← -- (byte) flip::dstIdx#1
+  (byte) flip::r#1 ← -- (byte) flip::r#2
+  if((byte) flip::r#1!=(byte) 0) goto flip::@1
+  to:flip::@3
+flip::@3: from @11 flip::@3
+  (byte) flip::i#2 ← phi( @11/(byte) 0 flip::@3/(byte) flip::i#1 )
+  (byte~) flip::$4 ← (byte[256]) buffer2#1 *idx (byte) flip::i#2
+  *((byte[256]) buffer1#2 + (byte) flip::i#2) ← (byte~) flip::$4
+  (byte) flip::i#1 ← ++ (byte) flip::i#2
+  if((byte) flip::i#1!=(byte) 0) goto flip::@3
+  to:flip::@return
+flip::@return: from flip::@3
+  return 
+  to:@RETURN
+plot: from @19
+  (byte*) plot::line#0 ← (byte[1000]) SCREEN#1 + (byte) 212
+  to:plot::@1
+plot::@1: from @15 plot
+  (byte) plot::y#2 ← phi( @15/(byte) plot::y#1 plot/(byte) 16 )
+  (byte[256]) buffer1#11 ← phi( @15/(byte[256]) buffer1#11 plot/(byte[256]) buffer1#10 )
+  (byte) plot::i#3 ← phi( @15/(byte) plot::i#1 plot/(byte) 0 )
+  (byte*) plot::line#2 ← phi( @15/(byte*) plot::line#1 plot/(byte*) plot::line#0 )
+  to:plot::@2
+plot::@2: from plot::@1 plot::@2
+  (byte) plot::x#2 ← phi( plot::@1/(byte) 0 plot::@2/(byte) plot::x#1 )
+  (byte) plot::i#2 ← phi( plot::@1/(byte) plot::i#3 plot::@2/(byte) plot::i#1 )
+  (byte~) plot::$3 ← (byte[256]) buffer1#11 *idx (byte) plot::i#2
+  *((byte*) plot::line#2 + (byte) plot::x#2) ← (byte~) plot::$3
+  (byte) plot::i#1 ← ++ (byte) plot::i#2
+  (byte) plot::x#1 ← ++ (byte) plot::x#2
+  if((byte) plot::x#1<(byte) 16) goto plot::@2
+  to:@15
+@15: from plot::@2
+  (byte*) plot::line#1 ← (byte*) plot::line#2 + (byte) 40
+  (byte) plot::y#1 ← -- (byte) plot::y#2
+  if((byte) plot::y#1!=(byte) 0) goto plot::@1
+  to:plot::@return
+plot::@return: from @15
+  return 
+  to:@RETURN
+@END: from @20
+
+Self Phi Eliminated (byte[256]) buffer2#10
+Self Phi Eliminated (byte[256]) buffer1#10
+Self Phi Eliminated (byte[1000]) SCREEN#1
+Self Phi Eliminated (byte*) RASTER#1
+Self Phi Eliminated (byte[256]) buffer1#2
+Self Phi Eliminated (byte[256]) buffer2#1
+Self Phi Eliminated (byte[256]) buffer1#11
+Succesful SSA optimization dk.camelot64.kickc.icl.Pass2SelfPhiElimination@7f4049d6
+CONTROL FLOW GRAPH
+@BEGIN: from
+  call prepare param-assignment
+  to:@1
+@1: from @20 @BEGIN
+  (byte[256]) buffer1#20 ← phi( @BEGIN/(word) 4096 @20/(byte[256]) buffer1#10 )
+  (byte[256]) buffer2#13 ← phi( @BEGIN/(word) 4352 @20/(byte[256]) buffer2#10 )
+  (byte[1000]) SCREEN#9 ← phi( @BEGIN/(word) 1024 @20/(byte[1000]) SCREEN#1 )
+  (byte*) RASTER#5 ← phi( @BEGIN/(word) 53266 @20/(byte*) RASTER#1 )
+  to:@2
+@2: from @1 @6
+  (byte[256]) buffer2#10 ← phi( @1/(byte[256]) buffer2#13 )
+  (byte[256]) buffer1#10 ← phi( @1/(byte[256]) buffer1#20 )
+  (byte[1000]) SCREEN#1 ← phi( @1/(byte[1000]) SCREEN#9 )
+  (byte) c#2 ← phi( @1/(byte) 25 @6/(byte) c#1 )
+  (byte*) RASTER#1 ← phi( @1/(byte*) RASTER#5 )
+  to:@3
+@3: from @2 @3
+  (byte~) $1 ← * (byte*) RASTER#1
+  if((byte~) $1!=(byte) 254) goto @3
+  to:@4
+@4: from @3 @4
+  (byte~) $3 ← * (byte*) RASTER#1
+  if((byte~) $3!=(byte) 255) goto @4
+  to:@6
+@6: from @4
+  (byte) c#1 ← -- (byte) c#2
+  if((byte) c#1!=(byte) 0) goto @2
+  to:@7
+@7: from @6
+  call flip param-assignment
+  to:@19
+@19: from @7
+  call plot param-assignment
+  to:@20
+@20: from @19
+  if(true) goto @1
+  to:@END
+prepare: from @BEGIN
+  to:prepare::@1
+prepare::@1: from prepare prepare::@1
+  (byte) prepare::i#2 ← phi( prepare/(byte) 0 prepare::@1/(byte) prepare::i#1 )
+  *((word) 4096 + (byte) prepare::i#2) ← (byte) prepare::i#2
+  (byte) prepare::i#1 ← ++ (byte) prepare::i#2
+  if((byte) prepare::i#1!=(byte) 0) goto prepare::@1
+  to:prepare::@return
+prepare::@return: from prepare::@1
+  return 
+  to:@RETURN
+flip: from @7
+  to:flip::@1
+flip::@1: from @11 flip
+  (byte) flip::r#2 ← phi( @11/(byte) flip::r#1 flip/(byte) 16 )
+  (byte[256]) buffer1#2 ← phi( flip/(byte[256]) buffer1#10 )
+  (byte) flip::srcIdx#3 ← phi( @11/(byte) flip::srcIdx#1 flip/(byte) 0 )
+  (byte[256]) buffer2#1 ← phi( flip/(byte[256]) buffer2#10 )
+  (byte) flip::dstIdx#5 ← phi( @11/(byte) flip::dstIdx#2 flip/(byte) 15 )
+  to:flip::@2
+flip::@2: from flip::@1 flip::@2
+  (byte) flip::c#2 ← phi( flip::@1/(byte) 16 flip::@2/(byte) flip::c#1 )
+  (byte) flip::dstIdx#3 ← phi( flip::@1/(byte) flip::dstIdx#5 flip::@2/(byte) flip::dstIdx#1 )
+  (byte) flip::srcIdx#2 ← phi( flip::@1/(byte) flip::srcIdx#3 flip::@2/(byte) flip::srcIdx#1 )
+  (byte~) flip::$0 ← (byte[256]) buffer1#2 *idx (byte) flip::srcIdx#2
+  *((byte[256]) buffer2#1 + (byte) flip::dstIdx#3) ← (byte~) flip::$0
+  (byte) flip::srcIdx#1 ← ++ (byte) flip::srcIdx#2
+  (byte) flip::dstIdx#1 ← (byte) flip::dstIdx#3 + (byte) 16
+  (byte) flip::c#1 ← -- (byte) flip::c#2
+  if((byte) flip::c#1!=(byte) 0) goto flip::@2
+  to:@11
+@11: from flip::@2
+  (byte) flip::dstIdx#2 ← -- (byte) flip::dstIdx#1
+  (byte) flip::r#1 ← -- (byte) flip::r#2
+  if((byte) flip::r#1!=(byte) 0) goto flip::@1
+  to:flip::@3
+flip::@3: from @11 flip::@3
+  (byte) flip::i#2 ← phi( @11/(byte) 0 flip::@3/(byte) flip::i#1 )
+  (byte~) flip::$4 ← (byte[256]) buffer2#1 *idx (byte) flip::i#2
+  *((byte[256]) buffer1#2 + (byte) flip::i#2) ← (byte~) flip::$4
+  (byte) flip::i#1 ← ++ (byte) flip::i#2
+  if((byte) flip::i#1!=(byte) 0) goto flip::@3
+  to:flip::@return
+flip::@return: from flip::@3
+  return 
+  to:@RETURN
+plot: from @19
+  (byte*) plot::line#0 ← (byte[1000]) SCREEN#1 + (byte) 212
+  to:plot::@1
+plot::@1: from @15 plot
+  (byte) plot::y#2 ← phi( @15/(byte) plot::y#1 plot/(byte) 16 )
+  (byte[256]) buffer1#11 ← phi( plot/(byte[256]) buffer1#10 )
+  (byte) plot::i#3 ← phi( @15/(byte) plot::i#1 plot/(byte) 0 )
+  (byte*) plot::line#2 ← phi( @15/(byte*) plot::line#1 plot/(byte*) plot::line#0 )
+  to:plot::@2
+plot::@2: from plot::@1 plot::@2
+  (byte) plot::x#2 ← phi( plot::@1/(byte) 0 plot::@2/(byte) plot::x#1 )
+  (byte) plot::i#2 ← phi( plot::@1/(byte) plot::i#3 plot::@2/(byte) plot::i#1 )
+  (byte~) plot::$3 ← (byte[256]) buffer1#11 *idx (byte) plot::i#2
+  *((byte*) plot::line#2 + (byte) plot::x#2) ← (byte~) plot::$3
+  (byte) plot::i#1 ← ++ (byte) plot::i#2
+  (byte) plot::x#1 ← ++ (byte) plot::x#2
+  if((byte) plot::x#1<(byte) 16) goto plot::@2
+  to:@15
+@15: from plot::@2
+  (byte*) plot::line#1 ← (byte*) plot::line#2 + (byte) 40
+  (byte) plot::y#1 ← -- (byte) plot::y#2
+  if((byte) plot::y#1!=(byte) 0) goto plot::@1
+  to:plot::@return
+plot::@return: from @15
+  return 
+  to:@RETURN
+@END: from @20
+
+Multiple usages for variable. Not optimizing sub-constant (byte) prepare::i#2
+Multiple usages for variable. Not optimizing sub-constant (byte[1000]) SCREEN#1
+Alias (byte[256]) buffer2#1 = (byte[256]) buffer2#10 (byte[256]) buffer2#13 
+Alias (byte[256]) buffer1#10 = (byte[256]) buffer1#20 (byte[256]) buffer1#2 (byte[256]) buffer1#11 
+Alias (byte[1000]) SCREEN#1 = (byte[1000]) SCREEN#9 
+Alias (byte*) RASTER#1 = (byte*) RASTER#5 
+Succesful SSA optimization dk.camelot64.kickc.icl.Pass2AliasElimination@3a1af7aa
+CONTROL FLOW GRAPH
+@BEGIN: from
+  call prepare param-assignment
+  to:@1
+@1: from @20 @BEGIN
+  (byte[256]) buffer1#10 ← phi( @BEGIN/(word) 4096 @20/(byte[256]) buffer1#10 )
+  (byte[256]) buffer2#1 ← phi( @BEGIN/(word) 4352 @20/(byte[256]) buffer2#1 )
+  (byte[1000]) SCREEN#1 ← phi( @BEGIN/(word) 1024 @20/(byte[1000]) SCREEN#1 )
+  (byte*) RASTER#1 ← phi( @BEGIN/(word) 53266 @20/(byte*) RASTER#1 )
+  to:@2
+@2: from @1 @6
+  (byte) c#2 ← phi( @1/(byte) 25 @6/(byte) c#1 )
+  to:@3
+@3: from @2 @3
+  (byte~) $1 ← * (byte*) RASTER#1
+  if((byte~) $1!=(byte) 254) goto @3
+  to:@4
+@4: from @3 @4
+  (byte~) $3 ← * (byte*) RASTER#1
+  if((byte~) $3!=(byte) 255) goto @4
+  to:@6
+@6: from @4
+  (byte) c#1 ← -- (byte) c#2
+  if((byte) c#1!=(byte) 0) goto @2
+  to:@7
+@7: from @6
+  call flip param-assignment
+  to:@19
+@19: from @7
+  call plot param-assignment
+  to:@20
+@20: from @19
+  if(true) goto @1
+  to:@END
+prepare: from @BEGIN
+  to:prepare::@1
+prepare::@1: from prepare prepare::@1
+  (byte) prepare::i#2 ← phi( prepare/(byte) 0 prepare::@1/(byte) prepare::i#1 )
+  *((word) 4096 + (byte) prepare::i#2) ← (byte) prepare::i#2
+  (byte) prepare::i#1 ← ++ (byte) prepare::i#2
+  if((byte) prepare::i#1!=(byte) 0) goto prepare::@1
+  to:prepare::@return
+prepare::@return: from prepare::@1
+  return 
+  to:@RETURN
+flip: from @7
+  to:flip::@1
+flip::@1: from @11 flip
+  (byte) flip::r#2 ← phi( @11/(byte) flip::r#1 flip/(byte) 16 )
+  (byte) flip::srcIdx#3 ← phi( @11/(byte) flip::srcIdx#1 flip/(byte) 0 )
+  (byte) flip::dstIdx#5 ← phi( @11/(byte) flip::dstIdx#2 flip/(byte) 15 )
+  to:flip::@2
+flip::@2: from flip::@1 flip::@2
+  (byte) flip::c#2 ← phi( flip::@1/(byte) 16 flip::@2/(byte) flip::c#1 )
+  (byte) flip::dstIdx#3 ← phi( flip::@1/(byte) flip::dstIdx#5 flip::@2/(byte) flip::dstIdx#1 )
+  (byte) flip::srcIdx#2 ← phi( flip::@1/(byte) flip::srcIdx#3 flip::@2/(byte) flip::srcIdx#1 )
+  (byte~) flip::$0 ← (byte[256]) buffer1#10 *idx (byte) flip::srcIdx#2
+  *((byte[256]) buffer2#1 + (byte) flip::dstIdx#3) ← (byte~) flip::$0
+  (byte) flip::srcIdx#1 ← ++ (byte) flip::srcIdx#2
+  (byte) flip::dstIdx#1 ← (byte) flip::dstIdx#3 + (byte) 16
+  (byte) flip::c#1 ← -- (byte) flip::c#2
+  if((byte) flip::c#1!=(byte) 0) goto flip::@2
+  to:@11
+@11: from flip::@2
+  (byte) flip::dstIdx#2 ← -- (byte) flip::dstIdx#1
+  (byte) flip::r#1 ← -- (byte) flip::r#2
+  if((byte) flip::r#1!=(byte) 0) goto flip::@1
+  to:flip::@3
+flip::@3: from @11 flip::@3
+  (byte) flip::i#2 ← phi( @11/(byte) 0 flip::@3/(byte) flip::i#1 )
+  (byte~) flip::$4 ← (byte[256]) buffer2#1 *idx (byte) flip::i#2
+  *((byte[256]) buffer1#10 + (byte) flip::i#2) ← (byte~) flip::$4
+  (byte) flip::i#1 ← ++ (byte) flip::i#2
+  if((byte) flip::i#1!=(byte) 0) goto flip::@3
+  to:flip::@return
+flip::@return: from flip::@3
+  return 
+  to:@RETURN
+plot: from @19
+  (byte*) plot::line#0 ← (byte[1000]) SCREEN#1 + (byte) 212
+  to:plot::@1
+plot::@1: from @15 plot
+  (byte) plot::y#2 ← phi( @15/(byte) plot::y#1 plot/(byte) 16 )
+  (byte) plot::i#3 ← phi( @15/(byte) plot::i#1 plot/(byte) 0 )
+  (byte*) plot::line#2 ← phi( @15/(byte*) plot::line#1 plot/(byte*) plot::line#0 )
+  to:plot::@2
+plot::@2: from plot::@1 plot::@2
+  (byte) plot::x#2 ← phi( plot::@1/(byte) 0 plot::@2/(byte) plot::x#1 )
+  (byte) plot::i#2 ← phi( plot::@1/(byte) plot::i#3 plot::@2/(byte) plot::i#1 )
+  (byte~) plot::$3 ← (byte[256]) buffer1#10 *idx (byte) plot::i#2
+  *((byte*) plot::line#2 + (byte) plot::x#2) ← (byte~) plot::$3
+  (byte) plot::i#1 ← ++ (byte) plot::i#2
+  (byte) plot::x#1 ← ++ (byte) plot::x#2
+  if((byte) plot::x#1<(byte) 16) goto plot::@2
+  to:@15
+@15: from plot::@2
+  (byte*) plot::line#1 ← (byte*) plot::line#2 + (byte) 40
+  (byte) plot::y#1 ← -- (byte) plot::y#2
+  if((byte) plot::y#1!=(byte) 0) goto plot::@1
+  to:plot::@return
+plot::@return: from @15
+  return 
+  to:@RETURN
+@END: from @20
+
+Self Phi Eliminated (byte[256]) buffer1#10
+Self Phi Eliminated (byte[256]) buffer2#1
+Self Phi Eliminated (byte[1000]) SCREEN#1
+Self Phi Eliminated (byte*) RASTER#1
+Succesful SSA optimization dk.camelot64.kickc.icl.Pass2SelfPhiElimination@7f4049d6
+CONTROL FLOW GRAPH
+@BEGIN: from
+  call prepare param-assignment
+  to:@1
+@1: from @20 @BEGIN
+  (byte[256]) buffer1#10 ← phi( @BEGIN/(word) 4096 )
+  (byte[256]) buffer2#1 ← phi( @BEGIN/(word) 4352 )
+  (byte[1000]) SCREEN#1 ← phi( @BEGIN/(word) 1024 )
+  (byte*) RASTER#1 ← phi( @BEGIN/(word) 53266 )
+  to:@2
+@2: from @1 @6
+  (byte) c#2 ← phi( @1/(byte) 25 @6/(byte) c#1 )
+  to:@3
+@3: from @2 @3
+  (byte~) $1 ← * (byte*) RASTER#1
+  if((byte~) $1!=(byte) 254) goto @3
+  to:@4
+@4: from @3 @4
+  (byte~) $3 ← * (byte*) RASTER#1
+  if((byte~) $3!=(byte) 255) goto @4
+  to:@6
+@6: from @4
+  (byte) c#1 ← -- (byte) c#2
+  if((byte) c#1!=(byte) 0) goto @2
+  to:@7
+@7: from @6
+  call flip param-assignment
+  to:@19
+@19: from @7
+  call plot param-assignment
+  to:@20
+@20: from @19
+  if(true) goto @1
+  to:@END
+prepare: from @BEGIN
+  to:prepare::@1
+prepare::@1: from prepare prepare::@1
+  (byte) prepare::i#2 ← phi( prepare/(byte) 0 prepare::@1/(byte) prepare::i#1 )
+  *((word) 4096 + (byte) prepare::i#2) ← (byte) prepare::i#2
+  (byte) prepare::i#1 ← ++ (byte) prepare::i#2
+  if((byte) prepare::i#1!=(byte) 0) goto prepare::@1
+  to:prepare::@return
+prepare::@return: from prepare::@1
+  return 
+  to:@RETURN
+flip: from @7
+  to:flip::@1
+flip::@1: from @11 flip
+  (byte) flip::r#2 ← phi( @11/(byte) flip::r#1 flip/(byte) 16 )
+  (byte) flip::srcIdx#3 ← phi( @11/(byte) flip::srcIdx#1 flip/(byte) 0 )
+  (byte) flip::dstIdx#5 ← phi( @11/(byte) flip::dstIdx#2 flip/(byte) 15 )
+  to:flip::@2
+flip::@2: from flip::@1 flip::@2
+  (byte) flip::c#2 ← phi( flip::@1/(byte) 16 flip::@2/(byte) flip::c#1 )
+  (byte) flip::dstIdx#3 ← phi( flip::@1/(byte) flip::dstIdx#5 flip::@2/(byte) flip::dstIdx#1 )
+  (byte) flip::srcIdx#2 ← phi( flip::@1/(byte) flip::srcIdx#3 flip::@2/(byte) flip::srcIdx#1 )
+  (byte~) flip::$0 ← (byte[256]) buffer1#10 *idx (byte) flip::srcIdx#2
+  *((byte[256]) buffer2#1 + (byte) flip::dstIdx#3) ← (byte~) flip::$0
+  (byte) flip::srcIdx#1 ← ++ (byte) flip::srcIdx#2
+  (byte) flip::dstIdx#1 ← (byte) flip::dstIdx#3 + (byte) 16
+  (byte) flip::c#1 ← -- (byte) flip::c#2
+  if((byte) flip::c#1!=(byte) 0) goto flip::@2
+  to:@11
+@11: from flip::@2
+  (byte) flip::dstIdx#2 ← -- (byte) flip::dstIdx#1
+  (byte) flip::r#1 ← -- (byte) flip::r#2
+  if((byte) flip::r#1!=(byte) 0) goto flip::@1
+  to:flip::@3
+flip::@3: from @11 flip::@3
+  (byte) flip::i#2 ← phi( @11/(byte) 0 flip::@3/(byte) flip::i#1 )
+  (byte~) flip::$4 ← (byte[256]) buffer2#1 *idx (byte) flip::i#2
+  *((byte[256]) buffer1#10 + (byte) flip::i#2) ← (byte~) flip::$4
+  (byte) flip::i#1 ← ++ (byte) flip::i#2
+  if((byte) flip::i#1!=(byte) 0) goto flip::@3
+  to:flip::@return
+flip::@return: from flip::@3
+  return 
+  to:@RETURN
+plot: from @19
+  (byte*) plot::line#0 ← (byte[1000]) SCREEN#1 + (byte) 212
+  to:plot::@1
+plot::@1: from @15 plot
+  (byte) plot::y#2 ← phi( @15/(byte) plot::y#1 plot/(byte) 16 )
+  (byte) plot::i#3 ← phi( @15/(byte) plot::i#1 plot/(byte) 0 )
+  (byte*) plot::line#2 ← phi( @15/(byte*) plot::line#1 plot/(byte*) plot::line#0 )
+  to:plot::@2
+plot::@2: from plot::@1 plot::@2
+  (byte) plot::x#2 ← phi( plot::@1/(byte) 0 plot::@2/(byte) plot::x#1 )
+  (byte) plot::i#2 ← phi( plot::@1/(byte) plot::i#3 plot::@2/(byte) plot::i#1 )
+  (byte~) plot::$3 ← (byte[256]) buffer1#10 *idx (byte) plot::i#2
+  *((byte*) plot::line#2 + (byte) plot::x#2) ← (byte~) plot::$3
+  (byte) plot::i#1 ← ++ (byte) plot::i#2
+  (byte) plot::x#1 ← ++ (byte) plot::x#2
+  if((byte) plot::x#1<(byte) 16) goto plot::@2
+  to:@15
+@15: from plot::@2
+  (byte*) plot::line#1 ← (byte*) plot::line#2 + (byte) 40
+  (byte) plot::y#1 ← -- (byte) plot::y#2
+  if((byte) plot::y#1!=(byte) 0) goto plot::@1
+  to:plot::@return
+plot::@return: from @15
+  return 
+  to:@RETURN
+@END: from @20
+
+Constant (byte[256]) buffer1#10 (word) 4096
+Constant (byte[256]) buffer2#1 (word) 4352
+Constant (byte[1000]) SCREEN#1 (word) 1024
+Constant (byte*) RASTER#1 (word) 53266
+Succesful SSA optimization dk.camelot64.kickc.icl.Pass2ConstantPropagation@742e84e1
+CONTROL FLOW GRAPH
+@BEGIN: from
+  call prepare param-assignment
+  to:@1
+@1: from @20 @BEGIN
+  to:@2
+@2: from @1 @6
+  (byte) c#2 ← phi( @1/(byte) 25 @6/(byte) c#1 )
+  to:@3
+@3: from @2 @3
+  (byte~) $1 ← * (word) 53266
+  if((byte~) $1!=(byte) 254) goto @3
+  to:@4
+@4: from @3 @4
+  (byte~) $3 ← * (word) 53266
+  if((byte~) $3!=(byte) 255) goto @4
+  to:@6
+@6: from @4
+  (byte) c#1 ← -- (byte) c#2
+  if((byte) c#1!=(byte) 0) goto @2
+  to:@7
+@7: from @6
+  call flip param-assignment
+  to:@19
+@19: from @7
+  call plot param-assignment
+  to:@20
+@20: from @19
+  if(true) goto @1
+  to:@END
+prepare: from @BEGIN
+  to:prepare::@1
+prepare::@1: from prepare prepare::@1
+  (byte) prepare::i#2 ← phi( prepare/(byte) 0 prepare::@1/(byte) prepare::i#1 )
+  *((word) 4096 + (byte) prepare::i#2) ← (byte) prepare::i#2
+  (byte) prepare::i#1 ← ++ (byte) prepare::i#2
+  if((byte) prepare::i#1!=(byte) 0) goto prepare::@1
+  to:prepare::@return
+prepare::@return: from prepare::@1
+  return 
+  to:@RETURN
+flip: from @7
+  to:flip::@1
+flip::@1: from @11 flip
+  (byte) flip::r#2 ← phi( @11/(byte) flip::r#1 flip/(byte) 16 )
+  (byte) flip::srcIdx#3 ← phi( @11/(byte) flip::srcIdx#1 flip/(byte) 0 )
+  (byte) flip::dstIdx#5 ← phi( @11/(byte) flip::dstIdx#2 flip/(byte) 15 )
+  to:flip::@2
+flip::@2: from flip::@1 flip::@2
+  (byte) flip::c#2 ← phi( flip::@1/(byte) 16 flip::@2/(byte) flip::c#1 )
+  (byte) flip::dstIdx#3 ← phi( flip::@1/(byte) flip::dstIdx#5 flip::@2/(byte) flip::dstIdx#1 )
+  (byte) flip::srcIdx#2 ← phi( flip::@1/(byte) flip::srcIdx#3 flip::@2/(byte) flip::srcIdx#1 )
+  (byte~) flip::$0 ← (word) 4096 *idx (byte) flip::srcIdx#2
+  *((word) 4352 + (byte) flip::dstIdx#3) ← (byte~) flip::$0
+  (byte) flip::srcIdx#1 ← ++ (byte) flip::srcIdx#2
+  (byte) flip::dstIdx#1 ← (byte) flip::dstIdx#3 + (byte) 16
+  (byte) flip::c#1 ← -- (byte) flip::c#2
+  if((byte) flip::c#1!=(byte) 0) goto flip::@2
+  to:@11
+@11: from flip::@2
+  (byte) flip::dstIdx#2 ← -- (byte) flip::dstIdx#1
+  (byte) flip::r#1 ← -- (byte) flip::r#2
+  if((byte) flip::r#1!=(byte) 0) goto flip::@1
+  to:flip::@3
+flip::@3: from @11 flip::@3
+  (byte) flip::i#2 ← phi( @11/(byte) 0 flip::@3/(byte) flip::i#1 )
+  (byte~) flip::$4 ← (word) 4352 *idx (byte) flip::i#2
+  *((word) 4096 + (byte) flip::i#2) ← (byte~) flip::$4
+  (byte) flip::i#1 ← ++ (byte) flip::i#2
+  if((byte) flip::i#1!=(byte) 0) goto flip::@3
+  to:flip::@return
+flip::@return: from flip::@3
+  return 
+  to:@RETURN
+plot: from @19
+  (byte*) plot::line#0 ← (word) 1024 + (byte) 212
+  to:plot::@1
+plot::@1: from @15 plot
+  (byte) plot::y#2 ← phi( @15/(byte) plot::y#1 plot/(byte) 16 )
+  (byte) plot::i#3 ← phi( @15/(byte) plot::i#1 plot/(byte) 0 )
+  (byte*) plot::line#2 ← phi( @15/(byte*) plot::line#1 plot/(byte*) plot::line#0 )
+  to:plot::@2
+plot::@2: from plot::@1 plot::@2
+  (byte) plot::x#2 ← phi( plot::@1/(byte) 0 plot::@2/(byte) plot::x#1 )
+  (byte) plot::i#2 ← phi( plot::@1/(byte) plot::i#3 plot::@2/(byte) plot::i#1 )
+  (byte~) plot::$3 ← (word) 4096 *idx (byte) plot::i#2
+  *((byte*) plot::line#2 + (byte) plot::x#2) ← (byte~) plot::$3
+  (byte) plot::i#1 ← ++ (byte) plot::i#2
+  (byte) plot::x#1 ← ++ (byte) plot::x#2
+  if((byte) plot::x#1<(byte) 16) goto plot::@2
+  to:@15
+@15: from plot::@2
+  (byte*) plot::line#1 ← (byte*) plot::line#2 + (byte) 40
+  (byte) plot::y#1 ← -- (byte) plot::y#2
+  if((byte) plot::y#1!=(byte) 0) goto plot::@1
+  to:plot::@return
+plot::@return: from @15
+  return 
+  to:@RETURN
+@END: from @20
+
+Multiple usages for variable. Not optimizing sub-constant (byte) prepare::i#2
+Multiple usages for variable. Not optimizing sub-constant (byte) flip::srcIdx#2
+Multiple usages for variable. Not optimizing sub-constant (byte) flip::i#2
+Multiple usages for variable. Not optimizing sub-constant (byte) flip::i#2
+Multiple usages for variable. Not optimizing sub-constant (byte) plot::i#2
+Culled Empty Block (label) @1
+Succesful SSA optimization dk.camelot64.kickc.icl.Pass2CullEmptyBlocks@21a34544
+CONTROL FLOW GRAPH
+@BEGIN: from
+  call prepare param-assignment
+  to:@2
+@2: from @20 @6 @BEGIN
+  (byte) c#2 ← phi( @20/(byte) 25 @6/(byte) c#1 @BEGIN/(byte) 25 )
+  to:@3
+@3: from @2 @3
+  (byte~) $1 ← * (word) 53266
+  if((byte~) $1!=(byte) 254) goto @3
+  to:@4
+@4: from @3 @4
+  (byte~) $3 ← * (word) 53266
+  if((byte~) $3!=(byte) 255) goto @4
+  to:@6
+@6: from @4
+  (byte) c#1 ← -- (byte) c#2
+  if((byte) c#1!=(byte) 0) goto @2
+  to:@7
+@7: from @6
+  call flip param-assignment
+  to:@19
+@19: from @7
+  call plot param-assignment
+  to:@20
+@20: from @19
+  if(true) goto @2
+  to:@END
+prepare: from @BEGIN
+  to:prepare::@1
+prepare::@1: from prepare prepare::@1
+  (byte) prepare::i#2 ← phi( prepare/(byte) 0 prepare::@1/(byte) prepare::i#1 )
+  *((word) 4096 + (byte) prepare::i#2) ← (byte) prepare::i#2
+  (byte) prepare::i#1 ← ++ (byte) prepare::i#2
+  if((byte) prepare::i#1!=(byte) 0) goto prepare::@1
+  to:prepare::@return
+prepare::@return: from prepare::@1
+  return 
+  to:@RETURN
+flip: from @7
+  to:flip::@1
+flip::@1: from @11 flip
+  (byte) flip::r#2 ← phi( @11/(byte) flip::r#1 flip/(byte) 16 )
+  (byte) flip::srcIdx#3 ← phi( @11/(byte) flip::srcIdx#1 flip/(byte) 0 )
+  (byte) flip::dstIdx#5 ← phi( @11/(byte) flip::dstIdx#2 flip/(byte) 15 )
+  to:flip::@2
+flip::@2: from flip::@1 flip::@2
+  (byte) flip::c#2 ← phi( flip::@1/(byte) 16 flip::@2/(byte) flip::c#1 )
+  (byte) flip::dstIdx#3 ← phi( flip::@1/(byte) flip::dstIdx#5 flip::@2/(byte) flip::dstIdx#1 )
+  (byte) flip::srcIdx#2 ← phi( flip::@1/(byte) flip::srcIdx#3 flip::@2/(byte) flip::srcIdx#1 )
+  (byte~) flip::$0 ← (word) 4096 *idx (byte) flip::srcIdx#2
+  *((word) 4352 + (byte) flip::dstIdx#3) ← (byte~) flip::$0
+  (byte) flip::srcIdx#1 ← ++ (byte) flip::srcIdx#2
+  (byte) flip::dstIdx#1 ← (byte) flip::dstIdx#3 + (byte) 16
+  (byte) flip::c#1 ← -- (byte) flip::c#2
+  if((byte) flip::c#1!=(byte) 0) goto flip::@2
+  to:@11
+@11: from flip::@2
+  (byte) flip::dstIdx#2 ← -- (byte) flip::dstIdx#1
+  (byte) flip::r#1 ← -- (byte) flip::r#2
+  if((byte) flip::r#1!=(byte) 0) goto flip::@1
+  to:flip::@3
+flip::@3: from @11 flip::@3
+  (byte) flip::i#2 ← phi( @11/(byte) 0 flip::@3/(byte) flip::i#1 )
+  (byte~) flip::$4 ← (word) 4352 *idx (byte) flip::i#2
+  *((word) 4096 + (byte) flip::i#2) ← (byte~) flip::$4
+  (byte) flip::i#1 ← ++ (byte) flip::i#2
+  if((byte) flip::i#1!=(byte) 0) goto flip::@3
+  to:flip::@return
+flip::@return: from flip::@3
+  return 
+  to:@RETURN
+plot: from @19
+  (byte*) plot::line#0 ← (word) 1024 + (byte) 212
+  to:plot::@1
+plot::@1: from @15 plot
+  (byte) plot::y#2 ← phi( @15/(byte) plot::y#1 plot/(byte) 16 )
+  (byte) plot::i#3 ← phi( @15/(byte) plot::i#1 plot/(byte) 0 )
+  (byte*) plot::line#2 ← phi( @15/(byte*) plot::line#1 plot/(byte*) plot::line#0 )
+  to:plot::@2
+plot::@2: from plot::@1 plot::@2
+  (byte) plot::x#2 ← phi( plot::@1/(byte) 0 plot::@2/(byte) plot::x#1 )
+  (byte) plot::i#2 ← phi( plot::@1/(byte) plot::i#3 plot::@2/(byte) plot::i#1 )
+  (byte~) plot::$3 ← (word) 4096 *idx (byte) plot::i#2
+  *((byte*) plot::line#2 + (byte) plot::x#2) ← (byte~) plot::$3
+  (byte) plot::i#1 ← ++ (byte) plot::i#2
+  (byte) plot::x#1 ← ++ (byte) plot::x#2
+  if((byte) plot::x#1<(byte) 16) goto plot::@2
+  to:@15
+@15: from plot::@2
+  (byte*) plot::line#1 ← (byte*) plot::line#2 + (byte) 40
+  (byte) plot::y#1 ← -- (byte) plot::y#2
+  if((byte) plot::y#1!=(byte) 0) goto plot::@1
+  to:plot::@return
+plot::@return: from @15
+  return 
+  to:@RETURN
+@END: from @20
+
+Constant (byte*) plot::line#0 (word) 1236
+Succesful SSA optimization dk.camelot64.kickc.icl.Pass2ConstantPropagation@742e84e1
+CONTROL FLOW GRAPH
+@BEGIN: from
+  call prepare param-assignment
+  to:@2
+@2: from @20 @6 @BEGIN
+  (byte) c#2 ← phi( @20/(byte) 25 @6/(byte) c#1 @BEGIN/(byte) 25 )
+  to:@3
+@3: from @2 @3
+  (byte~) $1 ← * (word) 53266
+  if((byte~) $1!=(byte) 254) goto @3
+  to:@4
+@4: from @3 @4
+  (byte~) $3 ← * (word) 53266
+  if((byte~) $3!=(byte) 255) goto @4
+  to:@6
+@6: from @4
+  (byte) c#1 ← -- (byte) c#2
+  if((byte) c#1!=(byte) 0) goto @2
+  to:@7
+@7: from @6
+  call flip param-assignment
+  to:@19
+@19: from @7
+  call plot param-assignment
+  to:@20
+@20: from @19
+  if(true) goto @2
+  to:@END
+prepare: from @BEGIN
+  to:prepare::@1
+prepare::@1: from prepare prepare::@1
+  (byte) prepare::i#2 ← phi( prepare/(byte) 0 prepare::@1/(byte) prepare::i#1 )
+  *((word) 4096 + (byte) prepare::i#2) ← (byte) prepare::i#2
+  (byte) prepare::i#1 ← ++ (byte) prepare::i#2
+  if((byte) prepare::i#1!=(byte) 0) goto prepare::@1
+  to:prepare::@return
+prepare::@return: from prepare::@1
+  return 
+  to:@RETURN
+flip: from @7
+  to:flip::@1
+flip::@1: from @11 flip
+  (byte) flip::r#2 ← phi( @11/(byte) flip::r#1 flip/(byte) 16 )
+  (byte) flip::srcIdx#3 ← phi( @11/(byte) flip::srcIdx#1 flip/(byte) 0 )
+  (byte) flip::dstIdx#5 ← phi( @11/(byte) flip::dstIdx#2 flip/(byte) 15 )
+  to:flip::@2
+flip::@2: from flip::@1 flip::@2
+  (byte) flip::c#2 ← phi( flip::@1/(byte) 16 flip::@2/(byte) flip::c#1 )
+  (byte) flip::dstIdx#3 ← phi( flip::@1/(byte) flip::dstIdx#5 flip::@2/(byte) flip::dstIdx#1 )
+  (byte) flip::srcIdx#2 ← phi( flip::@1/(byte) flip::srcIdx#3 flip::@2/(byte) flip::srcIdx#1 )
+  (byte~) flip::$0 ← (word) 4096 *idx (byte) flip::srcIdx#2
+  *((word) 4352 + (byte) flip::dstIdx#3) ← (byte~) flip::$0
+  (byte) flip::srcIdx#1 ← ++ (byte) flip::srcIdx#2
+  (byte) flip::dstIdx#1 ← (byte) flip::dstIdx#3 + (byte) 16
+  (byte) flip::c#1 ← -- (byte) flip::c#2
+  if((byte) flip::c#1!=(byte) 0) goto flip::@2
+  to:@11
+@11: from flip::@2
+  (byte) flip::dstIdx#2 ← -- (byte) flip::dstIdx#1
+  (byte) flip::r#1 ← -- (byte) flip::r#2
+  if((byte) flip::r#1!=(byte) 0) goto flip::@1
+  to:flip::@3
+flip::@3: from @11 flip::@3
+  (byte) flip::i#2 ← phi( @11/(byte) 0 flip::@3/(byte) flip::i#1 )
+  (byte~) flip::$4 ← (word) 4352 *idx (byte) flip::i#2
+  *((word) 4096 + (byte) flip::i#2) ← (byte~) flip::$4
+  (byte) flip::i#1 ← ++ (byte) flip::i#2
+  if((byte) flip::i#1!=(byte) 0) goto flip::@3
+  to:flip::@return
+flip::@return: from flip::@3
+  return 
+  to:@RETURN
+plot: from @19
+  to:plot::@1
+plot::@1: from @15 plot
+  (byte) plot::y#2 ← phi( @15/(byte) plot::y#1 plot/(byte) 16 )
+  (byte) plot::i#3 ← phi( @15/(byte) plot::i#1 plot/(byte) 0 )
+  (byte*) plot::line#2 ← phi( @15/(byte*) plot::line#1 plot/(word) 1236 )
+  to:plot::@2
+plot::@2: from plot::@1 plot::@2
+  (byte) plot::x#2 ← phi( plot::@1/(byte) 0 plot::@2/(byte) plot::x#1 )
+  (byte) plot::i#2 ← phi( plot::@1/(byte) plot::i#3 plot::@2/(byte) plot::i#1 )
+  (byte~) plot::$3 ← (word) 4096 *idx (byte) plot::i#2
+  *((byte*) plot::line#2 + (byte) plot::x#2) ← (byte~) plot::$3
+  (byte) plot::i#1 ← ++ (byte) plot::i#2
+  (byte) plot::x#1 ← ++ (byte) plot::x#2
+  if((byte) plot::x#1<(byte) 16) goto plot::@2
+  to:@15
+@15: from plot::@2
+  (byte*) plot::line#1 ← (byte*) plot::line#2 + (byte) 40
+  (byte) plot::y#1 ← -- (byte) plot::y#2
+  if((byte) plot::y#1!=(byte) 0) goto plot::@1
+  to:plot::@return
+plot::@return: from @15
+  return 
+  to:@RETURN
+@END: from @20
+
+Multiple usages for variable. Not optimizing sub-constant (byte) prepare::i#2
+Multiple usages for variable. Not optimizing sub-constant (byte) flip::srcIdx#2
+Multiple usages for variable. Not optimizing sub-constant (byte) flip::i#2
+Multiple usages for variable. Not optimizing sub-constant (byte) flip::i#2
+Multiple usages for variable. Not optimizing sub-constant (byte) plot::i#2
+Multiple usages for variable. Not optimizing sub-constant (byte) prepare::i#2
+Multiple usages for variable. Not optimizing sub-constant (byte) flip::srcIdx#2
+Multiple usages for variable. Not optimizing sub-constant (byte) flip::i#2
+Multiple usages for variable. Not optimizing sub-constant (byte) flip::i#2
+Multiple usages for variable. Not optimizing sub-constant (byte) plot::i#2
+INITIAL ASM
+BBEGIN:
+  jsr prepare
+B2_from_BBEGIN:
+  // (byte) c#2 = (byte) 25  // xby=coby1
+  ldx #25
+  jmp B2
+B2_from_B20:
+  // (byte) c#2 = (byte) 25  // xby=coby1
+  ldx #25
+  jmp B2
+B2_from_B6:
+  // (byte) c#2 = (byte) c#1  // register copy 
+  jmp B2
+B2:
+  jmp B3
+B3:
+  // (byte~) $1 ← * (word) 53266  //  aby=_star_cowo1
+  lda 53266
+  // if((byte~) $1!=(byte) 254) goto @3  //  aby_neq_coby1_then_la1
+  cmp #254
+  bne B3
+  jmp B4
+B4:
+  // (byte~) $3 ← * (word) 53266  //  aby=_star_cowo1
+  lda 53266
+  // if((byte~) $3!=(byte) 255) goto @4  //  aby_neq_coby1_then_la1
+  cmp #255
+  bne B4
+  jmp B6
+B6:
+  // (byte) c#1 ← -- (byte) c#2  //  xby=_dec_xby
+  dex
+  // if((byte) c#1!=(byte) 0) goto @2  //  xby_neq_0_then_la1
+  cpx #0
+  bne B2_from_B6
+  jmp B7
+B7:
+  jsr flip
+  jmp B19
+B19:
+  jsr plot
+  jmp B20
+B20:
+  // if(true) goto @2  //  true_then_la1
+  jmp B2_from_B20
+  jmp BEND
+BEND:
+plot:
+plot__B1_from_plot:
+  // (byte) plot::y#2 = (byte) 16  // zpby1=coby1
+  lda #16
+  sta 100
+  // (byte) plot::i#3 = (byte) 0  // xby=coby1
+  ldx #0
+  // (byte*) plot::line#2 = (word) 1236  // zpptrby1=cowo1
+  lda #<1236
+  sta 101
+  lda #>1236
+  sta 101+1
+  jmp plot__B1
+plot__B1_from_B15:
+  // (byte) plot::y#2 = (byte) plot::y#1  // register copy 
+  // (byte) plot::i#3 = (byte) plot::i#1  // register copy 
+  // (byte*) plot::line#2 = (byte*) plot::line#1  // register copy 
+  jmp plot__B1
+plot__B1:
+plot__B2_from_B1:
+  // (byte) plot::x#2 = (byte) 0  // yby=coby1
+  ldy #0
+  // (byte) plot::i#2 = (byte) plot::i#3  // register copy 
+  jmp plot__B2
+plot__B2_from_B2:
+  // (byte) plot::x#2 = (byte) plot::x#1  // register copy 
+  // (byte) plot::i#2 = (byte) plot::i#1  // register copy 
+  jmp plot__B2
+plot__B2:
+  // (byte~) plot::$3 ← (word) 4096 *idx (byte) plot::i#2  //  aby=cowo1_staridx_xby
+  lda 4096,x
+  // *((byte*) plot::line#2 + (byte) plot::x#2) ← (byte~) plot::$3  //  ptr_zpptrby1_yby=aby
+  sta (101),y
+  // (byte) plot::i#1 ← ++ (byte) plot::i#2  //  xby=_inc_xby
+  inx
+  // (byte) plot::x#1 ← ++ (byte) plot::x#2  //  yby=_inc_yby
+  iny
+  // if((byte) plot::x#1<(byte) 16) goto plot::@2  //  yby_lt_coby1_then_la1
+  cpy #16
+  bcc plot__B2_from_B2
+  jmp B15
+B15:
+  // (byte*) plot::line#1 ← (byte*) plot::line#2 + (byte) 40  //  zpptrby1=zpptrby1_plus_coby1
+  lda 101
+  clc
+  adc #40
+  sta 101
+  bcc !+
+  inc 101+1
+!:
+  // (byte) plot::y#1 ← -- (byte) plot::y#2  //  zpby1=_dec_zpby1
+  dec 100
+  // if((byte) plot::y#1!=(byte) 0) goto plot::@1  //  zpby1_neq_0_then_la1
+  lda 100
+  bne plot__B1_from_B15
+  jmp plot__Breturn
+plot__Breturn:
+  rts
+flip:
+flip__B1_from_flip:
+  // (byte) flip::r#2 = (byte) 16  // zpby1=coby1
+  lda #16
+  sta 104
+  // (byte) flip::srcIdx#3 = (byte) 0  // xby=coby1
+  ldx #0
+  // (byte) flip::dstIdx#5 = (byte) 15  // yby=coby1
+  ldy #15
+  jmp flip__B1
+flip__B1_from_B11:
+  // (byte) flip::r#2 = (byte) flip::r#1  // register copy 
+  // (byte) flip::srcIdx#3 = (byte) flip::srcIdx#1  // register copy 
+  // (byte) flip::dstIdx#5 = (byte) flip::dstIdx#2  // register copy 
+  jmp flip__B1
+flip__B1:
+flip__B2_from_B1:
+  // (byte) flip::c#2 = (byte) 16  // zpby1=coby1
+  lda #16
+  sta 103
+  // (byte) flip::dstIdx#3 = (byte) flip::dstIdx#5  // register copy 
+  // (byte) flip::srcIdx#2 = (byte) flip::srcIdx#3  // register copy 
+  jmp flip__B2
+flip__B2_from_B2:
+  // (byte) flip::c#2 = (byte) flip::c#1  // register copy 
+  // (byte) flip::dstIdx#3 = (byte) flip::dstIdx#1  // register copy 
+  // (byte) flip::srcIdx#2 = (byte) flip::srcIdx#1  // register copy 
+  jmp flip__B2
+flip__B2:
+  // (byte~) flip::$0 ← (word) 4096 *idx (byte) flip::srcIdx#2  //  aby=cowo1_staridx_xby
+  lda 4096,x
+  // *((word) 4352 + (byte) flip::dstIdx#3) ← (byte~) flip::$0  //  ptr_cowo1_yby=aby
+  sta 4352,y
+  // (byte) flip::srcIdx#1 ← ++ (byte) flip::srcIdx#2  //  xby=_inc_xby
+  inx
+  // (byte) flip::dstIdx#1 ← (byte) flip::dstIdx#3 + (byte) 16  //  yby=yby_plus_coby1
+  tya
+  clc
+  adc #16
+  tay
+  // (byte) flip::c#1 ← -- (byte) flip::c#2  //  zpby1=_dec_zpby1
+  dec 103
+  // if((byte) flip::c#1!=(byte) 0) goto flip::@2  //  zpby1_neq_0_then_la1
+  lda 103
+  bne flip__B2_from_B2
+  jmp B11
+B11:
+  // (byte) flip::dstIdx#2 ← -- (byte) flip::dstIdx#1  //  yby=_dec_yby
+  dey
+  // (byte) flip::r#1 ← -- (byte) flip::r#2  //  zpby1=_dec_zpby1
+  dec 104
+  // if((byte) flip::r#1!=(byte) 0) goto flip::@1  //  zpby1_neq_0_then_la1
+  lda 104
+  bne flip__B1_from_B11
+flip__B3_from_B11:
+  // (byte) flip::i#2 = (byte) 0  // xby=coby1
+  ldx #0
+  jmp flip__B3
+flip__B3_from_B3:
+  // (byte) flip::i#2 = (byte) flip::i#1  // register copy 
+  jmp flip__B3
+flip__B3:
+  // (byte~) flip::$4 ← (word) 4352 *idx (byte) flip::i#2  //  aby=cowo1_staridx_xby
+  lda 4352,x
+  // *((word) 4096 + (byte) flip::i#2) ← (byte~) flip::$4  //  ptr_cowo1_xby=aby
+  sta 4096,x
+  // (byte) flip::i#1 ← ++ (byte) flip::i#2  //  xby=_inc_xby
+  inx
+  // if((byte) flip::i#1!=(byte) 0) goto flip::@3  //  xby_neq_0_then_la1
+  cpx #0
+  bne flip__B3_from_B3
+  jmp flip__Breturn
+flip__Breturn:
+  rts
+prepare:
+prepare__B1_from_prepare:
+  // (byte) prepare::i#2 = (byte) 0  // xby=coby1
+  ldx #0
+  jmp prepare__B1
+prepare__B1_from_B1:
+  // (byte) prepare::i#2 = (byte) prepare::i#1  // register copy 
+  jmp prepare__B1
+prepare__B1:
+  // *((word) 4096 + (byte) prepare::i#2) ← (byte) prepare::i#2  //  ptr_cowo1_xby=xby
+  txa
+  sta 4096,x
+  // (byte) prepare::i#1 ← ++ (byte) prepare::i#2  //  xby=_inc_xby
+  inx
+  // if((byte) prepare::i#1!=(byte) 0) goto prepare::@1  //  xby_neq_0_then_la1
+  cpx #0
+  bne prepare__B1_from_B1
+  jmp prepare__Breturn
+prepare__Breturn:
+  rts
+
+Removing instruction jmp B2
+Removing instruction jmp B3
+Removing instruction jmp B4
+Removing instruction jmp B6
+Removing instruction jmp B7
+Removing instruction jmp B19
+Removing instruction jmp B20
+Removing instruction jmp BEND
+Removing instruction jmp plot__B1
+Removing instruction jmp plot__B2
+Removing instruction jmp B15
+Removing instruction jmp plot__Breturn
+Removing instruction jmp flip__B1
+Removing instruction jmp flip__B2
+Removing instruction jmp B11
+Removing instruction jmp flip__B3
+Removing instruction jmp flip__Breturn
+Removing instruction jmp prepare__B1
+Removing instruction jmp prepare__Breturn
+Succesful ASM optimization dk.camelot64.kickc.icl.Pass4NextJumpElimination@bb2d83d
+ASSEMBLER
+BBEGIN:
+  jsr prepare
+B2_from_BBEGIN:
+  // (byte) c#2 = (byte) 25  // xby=coby1
+  ldx #25
+  jmp B2
+B2_from_B20:
+  // (byte) c#2 = (byte) 25  // xby=coby1
+  ldx #25
+  jmp B2
+B2_from_B6:
+  // (byte) c#2 = (byte) c#1  // register copy 
+B2:
+B3:
+  // (byte~) $1 ← * (word) 53266  //  aby=_star_cowo1
+  lda 53266
+  // if((byte~) $1!=(byte) 254) goto @3  //  aby_neq_coby1_then_la1
+  cmp #254
+  bne B3
+B4:
+  // (byte~) $3 ← * (word) 53266  //  aby=_star_cowo1
+  lda 53266
+  // if((byte~) $3!=(byte) 255) goto @4  //  aby_neq_coby1_then_la1
+  cmp #255
+  bne B4
+B6:
+  // (byte) c#1 ← -- (byte) c#2  //  xby=_dec_xby
+  dex
+  // if((byte) c#1!=(byte) 0) goto @2  //  xby_neq_0_then_la1
+  cpx #0
+  bne B2_from_B6
+B7:
+  jsr flip
+B19:
+  jsr plot
+B20:
+  // if(true) goto @2  //  true_then_la1
+  jmp B2_from_B20
+BEND:
+plot:
+plot__B1_from_plot:
+  // (byte) plot::y#2 = (byte) 16  // zpby1=coby1
+  lda #16
+  sta 100
+  // (byte) plot::i#3 = (byte) 0  // xby=coby1
+  ldx #0
+  // (byte*) plot::line#2 = (word) 1236  // zpptrby1=cowo1
+  lda #<1236
+  sta 101
+  lda #>1236
+  sta 101+1
+  jmp plot__B1
+plot__B1_from_B15:
+  // (byte) plot::y#2 = (byte) plot::y#1  // register copy 
+  // (byte) plot::i#3 = (byte) plot::i#1  // register copy 
+  // (byte*) plot::line#2 = (byte*) plot::line#1  // register copy 
+plot__B1:
+plot__B2_from_B1:
+  // (byte) plot::x#2 = (byte) 0  // yby=coby1
+  ldy #0
+  // (byte) plot::i#2 = (byte) plot::i#3  // register copy 
+  jmp plot__B2
+plot__B2_from_B2:
+  // (byte) plot::x#2 = (byte) plot::x#1  // register copy 
+  // (byte) plot::i#2 = (byte) plot::i#1  // register copy 
+plot__B2:
+  // (byte~) plot::$3 ← (word) 4096 *idx (byte) plot::i#2  //  aby=cowo1_staridx_xby
+  lda 4096,x
+  // *((byte*) plot::line#2 + (byte) plot::x#2) ← (byte~) plot::$3  //  ptr_zpptrby1_yby=aby
+  sta (101),y
+  // (byte) plot::i#1 ← ++ (byte) plot::i#2  //  xby=_inc_xby
+  inx
+  // (byte) plot::x#1 ← ++ (byte) plot::x#2  //  yby=_inc_yby
+  iny
+  // if((byte) plot::x#1<(byte) 16) goto plot::@2  //  yby_lt_coby1_then_la1
+  cpy #16
+  bcc plot__B2_from_B2
+B15:
+  // (byte*) plot::line#1 ← (byte*) plot::line#2 + (byte) 40  //  zpptrby1=zpptrby1_plus_coby1
+  lda 101
+  clc
+  adc #40
+  sta 101
+  bcc !+
+  inc 101+1
+!:
+  // (byte) plot::y#1 ← -- (byte) plot::y#2  //  zpby1=_dec_zpby1
+  dec 100
+  // if((byte) plot::y#1!=(byte) 0) goto plot::@1  //  zpby1_neq_0_then_la1
+  lda 100
+  bne plot__B1_from_B15
+plot__Breturn:
+  rts
+flip:
+flip__B1_from_flip:
+  // (byte) flip::r#2 = (byte) 16  // zpby1=coby1
+  lda #16
+  sta 104
+  // (byte) flip::srcIdx#3 = (byte) 0  // xby=coby1
+  ldx #0
+  // (byte) flip::dstIdx#5 = (byte) 15  // yby=coby1
+  ldy #15
+  jmp flip__B1
+flip__B1_from_B11:
+  // (byte) flip::r#2 = (byte) flip::r#1  // register copy 
+  // (byte) flip::srcIdx#3 = (byte) flip::srcIdx#1  // register copy 
+  // (byte) flip::dstIdx#5 = (byte) flip::dstIdx#2  // register copy 
+flip__B1:
+flip__B2_from_B1:
+  // (byte) flip::c#2 = (byte) 16  // zpby1=coby1
+  lda #16
+  sta 103
+  // (byte) flip::dstIdx#3 = (byte) flip::dstIdx#5  // register copy 
+  // (byte) flip::srcIdx#2 = (byte) flip::srcIdx#3  // register copy 
+  jmp flip__B2
+flip__B2_from_B2:
+  // (byte) flip::c#2 = (byte) flip::c#1  // register copy 
+  // (byte) flip::dstIdx#3 = (byte) flip::dstIdx#1  // register copy 
+  // (byte) flip::srcIdx#2 = (byte) flip::srcIdx#1  // register copy 
+flip__B2:
+  // (byte~) flip::$0 ← (word) 4096 *idx (byte) flip::srcIdx#2  //  aby=cowo1_staridx_xby
+  lda 4096,x
+  // *((word) 4352 + (byte) flip::dstIdx#3) ← (byte~) flip::$0  //  ptr_cowo1_yby=aby
+  sta 4352,y
+  // (byte) flip::srcIdx#1 ← ++ (byte) flip::srcIdx#2  //  xby=_inc_xby
+  inx
+  // (byte) flip::dstIdx#1 ← (byte) flip::dstIdx#3 + (byte) 16  //  yby=yby_plus_coby1
+  tya
+  clc
+  adc #16
+  tay
+  // (byte) flip::c#1 ← -- (byte) flip::c#2  //  zpby1=_dec_zpby1
+  dec 103
+  // if((byte) flip::c#1!=(byte) 0) goto flip::@2  //  zpby1_neq_0_then_la1
+  lda 103
+  bne flip__B2_from_B2
+B11:
+  // (byte) flip::dstIdx#2 ← -- (byte) flip::dstIdx#1  //  yby=_dec_yby
+  dey
+  // (byte) flip::r#1 ← -- (byte) flip::r#2  //  zpby1=_dec_zpby1
+  dec 104
+  // if((byte) flip::r#1!=(byte) 0) goto flip::@1  //  zpby1_neq_0_then_la1
+  lda 104
+  bne flip__B1_from_B11
+flip__B3_from_B11:
+  // (byte) flip::i#2 = (byte) 0  // xby=coby1
+  ldx #0
+  jmp flip__B3
+flip__B3_from_B3:
+  // (byte) flip::i#2 = (byte) flip::i#1  // register copy 
+flip__B3:
+  // (byte~) flip::$4 ← (word) 4352 *idx (byte) flip::i#2  //  aby=cowo1_staridx_xby
+  lda 4352,x
+  // *((word) 4096 + (byte) flip::i#2) ← (byte~) flip::$4  //  ptr_cowo1_xby=aby
+  sta 4096,x
+  // (byte) flip::i#1 ← ++ (byte) flip::i#2  //  xby=_inc_xby
+  inx
+  // if((byte) flip::i#1!=(byte) 0) goto flip::@3  //  xby_neq_0_then_la1
+  cpx #0
+  bne flip__B3_from_B3
+flip__Breturn:
+  rts
+prepare:
+prepare__B1_from_prepare:
+  // (byte) prepare::i#2 = (byte) 0  // xby=coby1
+  ldx #0
+  jmp prepare__B1
+prepare__B1_from_B1:
+  // (byte) prepare::i#2 = (byte) prepare::i#1  // register copy 
+prepare__B1:
+  // *((word) 4096 + (byte) prepare::i#2) ← (byte) prepare::i#2  //  ptr_cowo1_xby=xby
+  txa
+  sta 4096,x
+  // (byte) prepare::i#1 ← ++ (byte) prepare::i#2  //  xby=_inc_xby
+  inx
+  // if((byte) prepare::i#1!=(byte) 0) goto prepare::@1  //  xby_neq_0_then_la1
+  cpx #0
+  bne prepare__B1_from_B1
+prepare__Breturn:
+  rts
+
+Removing instruction jmp B2
+Removing instruction jmp plot__B1
+Removing instruction jmp plot__B2
+Removing instruction jmp flip__B1
+Removing instruction jmp flip__B2
+Removing instruction jmp flip__B3
+Removing instruction jmp prepare__B1
+Succesful ASM optimization dk.camelot64.kickc.icl.Pass4NextJumpElimination@bb2d83d
+ASSEMBLER
+BBEGIN:
+  jsr prepare
+B2_from_BBEGIN:
+  // (byte) c#2 = (byte) 25  // xby=coby1
+  ldx #25
+  jmp B2
+B2_from_B20:
+  // (byte) c#2 = (byte) 25  // xby=coby1
+  ldx #25
+B2_from_B6:
+  // (byte) c#2 = (byte) c#1  // register copy 
+B2:
+B3:
+  // (byte~) $1 ← * (word) 53266  //  aby=_star_cowo1
+  lda 53266
+  // if((byte~) $1!=(byte) 254) goto @3  //  aby_neq_coby1_then_la1
+  cmp #254
+  bne B3
+B4:
+  // (byte~) $3 ← * (word) 53266  //  aby=_star_cowo1
+  lda 53266
+  // if((byte~) $3!=(byte) 255) goto @4  //  aby_neq_coby1_then_la1
+  cmp #255
+  bne B4
+B6:
+  // (byte) c#1 ← -- (byte) c#2  //  xby=_dec_xby
+  dex
+  // if((byte) c#1!=(byte) 0) goto @2  //  xby_neq_0_then_la1
+  cpx #0
+  bne B2_from_B6
+B7:
+  jsr flip
+B19:
+  jsr plot
+B20:
+  // if(true) goto @2  //  true_then_la1
+  jmp B2_from_B20
+BEND:
+plot:
+plot__B1_from_plot:
+  // (byte) plot::y#2 = (byte) 16  // zpby1=coby1
+  lda #16
+  sta 100
+  // (byte) plot::i#3 = (byte) 0  // xby=coby1
+  ldx #0
+  // (byte*) plot::line#2 = (word) 1236  // zpptrby1=cowo1
+  lda #<1236
+  sta 101
+  lda #>1236
+  sta 101+1
+plot__B1_from_B15:
+  // (byte) plot::y#2 = (byte) plot::y#1  // register copy 
+  // (byte) plot::i#3 = (byte) plot::i#1  // register copy 
+  // (byte*) plot::line#2 = (byte*) plot::line#1  // register copy 
+plot__B1:
+plot__B2_from_B1:
+  // (byte) plot::x#2 = (byte) 0  // yby=coby1
+  ldy #0
+  // (byte) plot::i#2 = (byte) plot::i#3  // register copy 
+plot__B2_from_B2:
+  // (byte) plot::x#2 = (byte) plot::x#1  // register copy 
+  // (byte) plot::i#2 = (byte) plot::i#1  // register copy 
+plot__B2:
+  // (byte~) plot::$3 ← (word) 4096 *idx (byte) plot::i#2  //  aby=cowo1_staridx_xby
+  lda 4096,x
+  // *((byte*) plot::line#2 + (byte) plot::x#2) ← (byte~) plot::$3  //  ptr_zpptrby1_yby=aby
+  sta (101),y
+  // (byte) plot::i#1 ← ++ (byte) plot::i#2  //  xby=_inc_xby
+  inx
+  // (byte) plot::x#1 ← ++ (byte) plot::x#2  //  yby=_inc_yby
+  iny
+  // if((byte) plot::x#1<(byte) 16) goto plot::@2  //  yby_lt_coby1_then_la1
+  cpy #16
+  bcc plot__B2_from_B2
+B15:
+  // (byte*) plot::line#1 ← (byte*) plot::line#2 + (byte) 40  //  zpptrby1=zpptrby1_plus_coby1
+  lda 101
+  clc
+  adc #40
+  sta 101
+  bcc !+
+  inc 101+1
+!:
+  // (byte) plot::y#1 ← -- (byte) plot::y#2  //  zpby1=_dec_zpby1
+  dec 100
+  // if((byte) plot::y#1!=(byte) 0) goto plot::@1  //  zpby1_neq_0_then_la1
+  lda 100
+  bne plot__B1_from_B15
+plot__Breturn:
+  rts
+flip:
+flip__B1_from_flip:
+  // (byte) flip::r#2 = (byte) 16  // zpby1=coby1
+  lda #16
+  sta 104
+  // (byte) flip::srcIdx#3 = (byte) 0  // xby=coby1
+  ldx #0
+  // (byte) flip::dstIdx#5 = (byte) 15  // yby=coby1
+  ldy #15
+flip__B1_from_B11:
+  // (byte) flip::r#2 = (byte) flip::r#1  // register copy 
+  // (byte) flip::srcIdx#3 = (byte) flip::srcIdx#1  // register copy 
+  // (byte) flip::dstIdx#5 = (byte) flip::dstIdx#2  // register copy 
+flip__B1:
+flip__B2_from_B1:
+  // (byte) flip::c#2 = (byte) 16  // zpby1=coby1
+  lda #16
+  sta 103
+  // (byte) flip::dstIdx#3 = (byte) flip::dstIdx#5  // register copy 
+  // (byte) flip::srcIdx#2 = (byte) flip::srcIdx#3  // register copy 
+flip__B2_from_B2:
+  // (byte) flip::c#2 = (byte) flip::c#1  // register copy 
+  // (byte) flip::dstIdx#3 = (byte) flip::dstIdx#1  // register copy 
+  // (byte) flip::srcIdx#2 = (byte) flip::srcIdx#1  // register copy 
+flip__B2:
+  // (byte~) flip::$0 ← (word) 4096 *idx (byte) flip::srcIdx#2  //  aby=cowo1_staridx_xby
+  lda 4096,x
+  // *((word) 4352 + (byte) flip::dstIdx#3) ← (byte~) flip::$0  //  ptr_cowo1_yby=aby
+  sta 4352,y
+  // (byte) flip::srcIdx#1 ← ++ (byte) flip::srcIdx#2  //  xby=_inc_xby
+  inx
+  // (byte) flip::dstIdx#1 ← (byte) flip::dstIdx#3 + (byte) 16  //  yby=yby_plus_coby1
+  tya
+  clc
+  adc #16
+  tay
+  // (byte) flip::c#1 ← -- (byte) flip::c#2  //  zpby1=_dec_zpby1
+  dec 103
+  // if((byte) flip::c#1!=(byte) 0) goto flip::@2  //  zpby1_neq_0_then_la1
+  lda 103
+  bne flip__B2_from_B2
+B11:
+  // (byte) flip::dstIdx#2 ← -- (byte) flip::dstIdx#1  //  yby=_dec_yby
+  dey
+  // (byte) flip::r#1 ← -- (byte) flip::r#2  //  zpby1=_dec_zpby1
+  dec 104
+  // if((byte) flip::r#1!=(byte) 0) goto flip::@1  //  zpby1_neq_0_then_la1
+  lda 104
+  bne flip__B1_from_B11
+flip__B3_from_B11:
+  // (byte) flip::i#2 = (byte) 0  // xby=coby1
+  ldx #0
+flip__B3_from_B3:
+  // (byte) flip::i#2 = (byte) flip::i#1  // register copy 
+flip__B3:
+  // (byte~) flip::$4 ← (word) 4352 *idx (byte) flip::i#2  //  aby=cowo1_staridx_xby
+  lda 4352,x
+  // *((word) 4096 + (byte) flip::i#2) ← (byte~) flip::$4  //  ptr_cowo1_xby=aby
+  sta 4096,x
+  // (byte) flip::i#1 ← ++ (byte) flip::i#2  //  xby=_inc_xby
+  inx
+  // if((byte) flip::i#1!=(byte) 0) goto flip::@3  //  xby_neq_0_then_la1
+  cpx #0
+  bne flip__B3_from_B3
+flip__Breturn:
+  rts
+prepare:
+prepare__B1_from_prepare:
+  // (byte) prepare::i#2 = (byte) 0  // xby=coby1
+  ldx #0
+prepare__B1_from_B1:
+  // (byte) prepare::i#2 = (byte) prepare::i#1  // register copy 
+prepare__B1:
+  // *((word) 4096 + (byte) prepare::i#2) ← (byte) prepare::i#2  //  ptr_cowo1_xby=xby
+  txa
+  sta 4096,x
+  // (byte) prepare::i#1 ← ++ (byte) prepare::i#2  //  xby=_inc_xby
+  inx
+  // if((byte) prepare::i#1!=(byte) 0) goto prepare::@1  //  xby_neq_0_then_la1
+  cpx #0
+  bne prepare__B1_from_B1
+prepare__Breturn:
+  rts
+
diff --git a/src/dk/camelot64/kickc/test/ref/flipper-rex2.sym b/src/dk/camelot64/kickc/test/ref/flipper-rex2.sym
index 65771f449..73cc87f2a 100644
--- a/src/dk/camelot64/kickc/test/ref/flipper-rex2.sym
+++ b/src/dk/camelot64/kickc/test/ref/flipper-rex2.sym
@@ -26,21 +26,21 @@
 (label) flip::@3
 (label) flip::@return
 (byte) flip::c
-(byte) flip::c#0 zp byte:103
+(byte) flip::c#1 zp byte:103
 (byte) flip::c#2 zp byte:103
 (byte) flip::dstIdx
-(byte) flip::dstIdx#0 reg byte y
 (byte) flip::dstIdx#1 reg byte y
+(byte) flip::dstIdx#2 reg byte y
 (byte) flip::dstIdx#3 reg byte y
 (byte) flip::dstIdx#5 reg byte y
 (byte) flip::i
 (byte) flip::i#1 reg byte x
 (byte) flip::i#2 reg byte x
 (byte) flip::r
-(byte) flip::r#0 zp byte:104
+(byte) flip::r#1 zp byte:104
 (byte) flip::r#2 zp byte:104
 (byte) flip::srcIdx
-(byte) flip::srcIdx#0 reg byte x
+(byte) flip::srcIdx#1 reg byte x
 (byte) flip::srcIdx#2 reg byte x
 (byte) flip::srcIdx#3 reg byte x
 
@@ -50,23 +50,23 @@
 (label) plot::@2
 (label) plot::@return
 (byte) plot::i
-(byte) plot::i#0 reg byte x
+(byte) plot::i#1 reg byte x
 (byte) plot::i#2 reg byte x
 (byte) plot::i#3 reg byte x
 (byte*) plot::line
-(byte*) plot::line#0 zp ptr byte:101
+(byte*) plot::line#1 zp ptr byte:101
 (byte*) plot::line#2 zp ptr byte:101
 (byte) plot::x
-(byte) plot::x#0 reg byte y
+(byte) plot::x#1 reg byte y
 (byte) plot::x#2 reg byte y
 (byte) plot::y
-(byte) plot::y#0 zp byte:100
+(byte) plot::y#1 zp byte:100
 (byte) plot::y#2 zp byte:100
 
 (void()) prepare()
 (label) prepare::@1
 (label) prepare::@return
 (byte) prepare::i
-(byte) prepare::i#0 reg byte x
+(byte) prepare::i#1 reg byte x
 (byte) prepare::i#2 reg byte x