diff --git a/src/main/java/dk/camelot64/kickc/Compiler.java b/src/main/java/dk/camelot64/kickc/Compiler.java
index fa328ec6b..8425fd7ba 100644
--- a/src/main/java/dk/camelot64/kickc/Compiler.java
+++ b/src/main/java/dk/camelot64/kickc/Compiler.java
@@ -21,6 +21,8 @@ public class Compiler {
          KickCParser.FileContext file = pass0ParseInput(input, log);
          Program program = pass1GenerateSSA(file, log);
          pass2OptimizeSSA(program);
+         log.append("FINAL SYMBOL TABLE");
+         log.append(program.getScope().getSymbolTableContents(program));
          pass3Analysis(program);
          pass4RegisterAllocation(program);
          pass5GenerateAndOptimizeAsm(program);
@@ -110,6 +112,10 @@ public class Compiler {
       program.setGraph(pass1ProcedureCallsReturnValue.generate());
       log.append("CONTROL FLOW GRAPH WITH ASSIGNMENT CALL & RETURN");
       log.append(program.getGraph().toString(program));
+
+      log.append("INITIAL SSA SYMBOL TABLE");
+      log.append(program.getScope().getSymbolTableContents(program));
+
       return program;
    }
 
@@ -204,7 +210,7 @@ public class Compiler {
    private void pass4RegisterAllocation(Program program) {
 
       new Pass4ZeroPageAllocation(program).allocate();
-      new Pass4RegistersFinalize(program).allocate(false);
+      new Pass4RegistersFinalize(program).allocate(true);
 
       // Initial Code generation
       new Pass4CodeGeneration(program).generate();
diff --git a/src/main/java/dk/camelot64/kickc/TODO.txt b/src/main/java/dk/camelot64/kickc/TODO.txt
index 4ab9c5ca9..6ee4c7bc6 100644
--- a/src/main/java/dk/camelot64/kickc/TODO.txt
+++ b/src/main/java/dk/camelot64/kickc/TODO.txt
@@ -1,7 +1,8 @@
 Features
 - Move the main code into a main() function, and disallow code outside functions. The main function per default has no parameters and exits with RTS.
-- Add a for loop for(init;condition;increment) {stmt} -> { init; do { stmt; increment } while (condition) }
-- Add for loop for(byte i: 1..100) { } and for(byte i : 100..0) {}  (plus maybe .+. and .-. to make the inc/dec unambiguous)
+- Improve locality of block sequence for if(cond) { stmt1; } else { stmt2; } to if(!cond) goto @else stmt1; jmp @end; @else: stmt2; @end:
+- Optimize if/else by swapping if & else if cond is easier to evaluate than !cond.
+- Add literal char syntax ( 'c' == (byte) 3 )
 - Add signed bytes
 - Add signed words
 - Add Fixed Point number types fixed[8.8], fixed[16.8] - maybe even fixed[24.4]
@@ -22,16 +23,23 @@ Features
 + Create a proper main function for the compiler
 + Add ++/-- incrementing/decrementing operators.
 + Optimize if's without else if(expr) { stmt; } -> $1=!expr; if($1) goto @1; stmt; @1:
++ Add a for loop for(init;condition;increment) {stmt} -> { init; do { stmt; increment } while (condition) }
++ Add for loop for(byte i: 1..100) { } and for(byte i : 100..0) {}  (plus maybe .+. and .-. to make the inc/dec unambiguous)
 
 Assembler Improvements
 - Make generated ASM human readable.
   + Use hex-numbers
   - add labels for constants and zp-variables.
-+ Eliminate unnecessary labels in ASM
-- Eliminate CPX from DEX, CPX #0, BNE la1
-- Eliminate LDA from DEC $2, LDA $2, BNE la1
-- Eliminate LDA from STA $11, LDA $11
+- Better ASM static value analysis
+  - Not just constants - but also other values (value of var, value of var1[var2], value of var+4 etc.)
+  - Also analyze back/forward through block entry/exit
+  - Also analyze value of flags (eg. N=N(var1))
+- Eliminate CPX from DEX, CPX #0, BNE la1 (using ASM static value analysis for N flag - it might be worth annotating CPX with the fact that only the N-flag is relevant - or creating a special instruction for setting the N-flag)
+- Eliminate LDA from DEC $2, LDA $2, BNE la1 (using ASM static value analysis for N flag - it might be worth annotating LDA $2 with the fact that only the N-flag is relevant - or creating a special instruction for setting the N-flag)
+- Eliminate LDA from STA $11, LDA $11 (using ASM static value analysis of A-register)
 - Optimize by allowing resequencing of ASM (statements and phi assignments) in a final phase.
+- ASM loop analysis: If all usages of a register has the same value move the assignment out of the loop (if the assignment is simple enough).
++ Eliminate unnecessary labels in ASM
 
 Known Problems
 + Procedures that modify variables outside their scope does not work. Outer vars must be transfered in/out like parameters/return values to get it working.
@@ -45,7 +53,11 @@ Register Allocation
   - Optimize by finding optimal sequence for multiple phi assignments in entry-segments.
   - Avoid clobbering alive vars
 - Maybe support several fragments for the same operation with different cost and clobbering profiles.
-- Add memory registers (if we need to free some ZP)
+- Add memory registers (if we need to free some ZP).
+- Implement fast combination elimination based on live ranges (skipping the ASM-code.)
+  - Improve combination testing by finding live range overlaps and not creating combinations that would create an overlap conflict.
+  - Combinations should be created in a tree-structure instead of just doing all combinations
+  - Example: For equivalence classes a, b, c if a&c have overlapping live ranges they can never have the same register. Therefore the combination iterator should not create combinations where C has the same register as a.
 + Limit number of combinations tested
 + Equivalences not tested through combinaitons should be tested individually afterwards.
 + Matrix Phi operation (instead of separate statements)
diff --git a/src/main/java/dk/camelot64/kickc/icl/RegisterAllocation.java b/src/main/java/dk/camelot64/kickc/icl/RegisterAllocation.java
index bb0b7599b..ef566ecc0 100644
--- a/src/main/java/dk/camelot64/kickc/icl/RegisterAllocation.java
+++ b/src/main/java/dk/camelot64/kickc/icl/RegisterAllocation.java
@@ -47,8 +47,12 @@ public class RegisterAllocation {
    /** A zero page address used as a register for a single byte variable. */
    public static class RegisterZpByte implements Register {
 
+      /** The ZP address used for the byte. */
       private int zp;
 
+      /** The name used as a label for the register in the ASM code. */
+      private String name;
+
       public RegisterZpByte(int zp) {
          this.zp = zp;
       }
diff --git a/src/main/java/dk/camelot64/kickc/icl/SymbolTypeArray.java b/src/main/java/dk/camelot64/kickc/icl/SymbolTypeArray.java
index 04211f108..dc03e3bf6 100644
--- a/src/main/java/dk/camelot64/kickc/icl/SymbolTypeArray.java
+++ b/src/main/java/dk/camelot64/kickc/icl/SymbolTypeArray.java
@@ -6,7 +6,8 @@ import com.fasterxml.jackson.annotation.JsonProperty;
 /** A fixed size array of another type */
 public class SymbolTypeArray extends SymbolTypePointer {
 
-   private int size;
+   /** The fixed size of the array. Can by null, if the type is not known yet. (It will be constant before the compilation is done) */
+   private Integer size;
 
    @JsonCreator
    public SymbolTypeArray(
@@ -16,40 +17,39 @@ public class SymbolTypeArray extends SymbolTypePointer {
       this.size = size;
    }
 
+   public SymbolTypeArray(SymbolType elementType) {
+      super(elementType);
+      this.size = null;
+   }
+
    public int getSize() {
       return size;
    }
 
-   public void setSize(int size) {
+   public void setSize(Integer size) {
       this.size = size;
    }
 
    @Override
    public String getTypeName() {
-      return getElementType().getTypeName()+"["+size+"]";
+      return getElementType().getTypeName()+"["+(size==null?"":size)+"]";
    }
 
    @Override
    public boolean equals(Object o) {
-      if (this == o) {
-         return true;
-      }
-      if (o == null || getClass() != o.getClass()) {
-         return false;
-      }
-      if (!super.equals(o)) {
-         return false;
-      }
+      if (this == o) return true;
+      if (o == null || getClass() != o.getClass()) return false;
+      if (!super.equals(o)) return false;
 
       SymbolTypeArray that = (SymbolTypeArray) o;
 
-      return size == that.size;
+      return size != null ? size.equals(that.size) : that.size == null;
    }
 
    @Override
    public int hashCode() {
       int result = super.hashCode();
-      result = 31 * result + size;
+      result = 31 * result + (size != null ? size.hashCode() : 0);
       return result;
    }
 }
diff --git a/src/main/java/dk/camelot64/kickc/icl/Variable.java b/src/main/java/dk/camelot64/kickc/icl/Variable.java
index e0b7b1231..acb85e76c 100644
--- a/src/main/java/dk/camelot64/kickc/icl/Variable.java
+++ b/src/main/java/dk/camelot64/kickc/icl/Variable.java
@@ -2,32 +2,28 @@ package dk.camelot64.kickc.icl;
 
 import com.fasterxml.jackson.annotation.JsonIgnore;
 
-/**
- * A Symbol (variable, jump label, etc.)
- */
+/** A Variable (or a Constant) */
 public abstract class Variable implements Symbol {
 
-   /**
-    * The name of the symbol.
-    */
+   /** The name of the variable. */
    private String name;
 
-   /**
-    * Scope
-    */
+   /** The scope containing the variable */
    @JsonIgnore
    private Scope scope;
 
-   /**
-    * The type of the symbol. VAR means tha type is unknown, and has not been inferred yet.
-    */
+   /** The type of the variable. VAR means tha type is unknown, and has not been inferred yet. */
    private SymbolType type;
 
-   /**
-    * true if the symbol type is infered (not declared)
-    */
+   /** true if the symbol type is infered (not declared) */
    private boolean inferredType;
 
+   /** If the variable is assigned to an ASM register, this contains the register. If null the variable has no no allocation (yet). Constants are never assigned to registers. */
+   private RegisterAllocation.Register allocation;
+
+   /** If the variable is a constant this is the constant value. If null the variable is not considered constant.*/
+   private Constant constant;
+
    public Variable(String name, Scope scope, SymbolType type) {
       this.name = name;
       this.scope = scope;
@@ -74,6 +70,26 @@ public abstract class Variable implements Symbol {
       this.name = name;
    }
 
+   public String getName() {
+      return name;
+   }
+
+   public RegisterAllocation.Register getAllocation() {
+      return allocation;
+   }
+
+   public void setAllocation(RegisterAllocation.Register allocation) {
+      this.allocation = allocation;
+   }
+
+   public Constant getConstant() {
+      return constant;
+   }
+
+   public void setConstant(Constant constant) {
+      this.constant = constant;
+   }
+
    @JsonIgnore
    public abstract boolean isVersioned();
 
@@ -86,16 +102,21 @@ public abstract class Variable implements Symbol {
       if (o == null || getClass() != o.getClass()) return false;
       Variable variable = (Variable) o;
       if (inferredType != variable.inferredType) return false;
-      if (!name.equals(variable.name)) return false;
-      if (!getFullName().equals(variable.getFullName())) return false;
-      return type.equals(variable.type);
+      if (name != null ? !name.equals(variable.name) : variable.name != null) return false;
+      if (scope != null ? !scope.equals(variable.scope) : variable.scope != null) return false;
+      if (type != null ? !type.equals(variable.type) : variable.type != null) return false;
+      if (allocation != null ? !allocation.equals(variable.allocation) : variable.allocation != null) return false;
+      return constant != null ? constant.equals(variable.constant) : variable.constant == null;
    }
 
    @Override
    public int hashCode() {
-      int result = getFullName().hashCode();
-      result = 31 * result + type.hashCode();
+      int result = name != null ? name.hashCode() : 0;
+      result = 31 * result + (scope != null ? scope.hashCode() : 0);
+      result = 31 * result + (type != null ? type.hashCode() : 0);
       result = 31 * result + (inferredType ? 1 : 0);
+      result = 31 * result + (allocation != null ? allocation.hashCode() : 0);
+      result = 31 * result + (constant != null ? constant.hashCode() : 0);
       return result;
    }
 
diff --git a/src/main/java/dk/camelot64/kickc/passes/Pass1GenerateStatementSequence.java b/src/main/java/dk/camelot64/kickc/passes/Pass1GenerateStatementSequence.java
index e21616d48..2ac6f95b3 100644
--- a/src/main/java/dk/camelot64/kickc/passes/Pass1GenerateStatementSequence.java
+++ b/src/main/java/dk/camelot64/kickc/passes/Pass1GenerateStatementSequence.java
@@ -414,11 +414,15 @@ public class Pass1GenerateStatementSequence extends KickCBaseVisitor<Object> {
    @Override
    public SymbolType visitTypeArray(KickCParser.TypeArrayContext ctx) {
       SymbolType elementType = (SymbolType) visit(ctx.typeDecl());
-      Constant size = ParseTreeConstantEvaluator.evaluate(ctx.expr());
-      if (size instanceof ConstantInteger) {
-         return new SymbolTypeArray(elementType, ((ConstantInteger) size).getNumber());
+      if(ctx.expr()!=null) {
+         Constant size = ParseTreeConstantEvaluator.evaluate(ctx.expr());
+         if (size instanceof ConstantInteger) {
+            return new SymbolTypeArray(elementType, ((ConstantInteger) size).getNumber());
+         } else {
+            throw new RuntimeException("Array size not a constant integer " + ctx.getText());
+         }
       } else {
-         throw new RuntimeException("Array size not a constant integer " + ctx.getText());
+         return new SymbolTypeArray(elementType);
       }
    }
 
diff --git a/src/main/java/dk/camelot64/kickc/passes/Pass3CustomRegisters.java b/src/main/java/dk/camelot64/kickc/passes/Pass3CustomRegisters.java
deleted file mode 100644
index d469fa1c1..000000000
--- a/src/main/java/dk/camelot64/kickc/passes/Pass3CustomRegisters.java
+++ /dev/null
@@ -1,142 +0,0 @@
-package dk.camelot64.kickc.passes;
-
-import dk.camelot64.kickc.icl.*;
-
-/**
- * Register Allocation for variables
- */
-public class Pass3CustomRegisters {
-
-
-   private Program program;
-
-   public Pass3CustomRegisters(Program program) {
-      this.program = program;
-   }
-
-   public void allocate() {
-      RegisterAllocation allocation = program.getAllocation();
-
-      // Register allocation for loopnest.kc
-      allocation.setRegister(new VariableRef("nest2::j#2"), RegisterAllocation.getRegisterX());
-      allocation.setRegister(new VariableRef("nest2::j#1"), RegisterAllocation.getRegisterX());
-      allocation.setRegister(new VariableRef("nest2::i#2"), RegisterAllocation.getRegisterY());
-      allocation.setRegister(new VariableRef("nest2::i#1"), RegisterAllocation.getRegisterY());
-
-
-      // Register allocation for fibmem.kc
-      /*
-      allocation.setRegister(new VariableRef("i#1"), RegisterAllocation.getRegisterX());
-      allocation.setRegister(new VariableRef("i#2"), RegisterAllocation.getRegisterX());
-      allocation.setRegister(new VariableRef("$1"), new RegisterAllocation.RegisterAByte());
-      allocation.setRegister(new VariableRef("$3"), new RegisterAllocation.RegisterALUByte());
-      allocation.setRegister(new VariableRef("$4"), new RegisterAllocation.RegisterAByte());
-      */
-
-      // Registers for postinc.kc
-      /*
-      allocation.setRegister(new VariableRef("c#0"), RegisterAllocation.getRegisterA());
-      allocation.setRegister(new VariableRef("c#1"), RegisterAllocation.getRegisterA());
-      allocation.setRegister(new VariableRef("c#2"), RegisterAllocation.getRegisterA());
-      allocation.setRegister(new VariableRef("b#0"), new RegisterAllocation.RegisterZpByte(102));
-      allocation.setRegister(new VariableRef("b#1"), new RegisterAllocation.RegisterZpByte(102));
-      allocation.setRegister(new VariableRef("b#2"), new RegisterAllocation.RegisterZpByte(102));
-      allocation.setRegister(new VariableRef("$1"), new RegisterAllocation.RegisterZpByte(101));
-      allocation.setRegister(new VariableRef("a#0"), new RegisterAllocation.RegisterZpByte(103));
-      allocation.setRegister(new VariableRef("a#1"), new RegisterAllocation.RegisterZpByte(103));
-      allocation.setRegister(new VariableRef("a#2"), new RegisterAllocation.RegisterZpByte(103));
-      allocation.setRegister(new VariableRef("$0"), RegisterAllocation.getRegisterA());
-      allocation.setRegister(new VariableRef("i#0"), RegisterAllocation.getRegisterX());
-      allocation.setRegister(new VariableRef("i#1"), RegisterAllocation.getRegisterX());
-      allocation.setRegister(new VariableRef("i#2"), RegisterAllocation.getRegisterX());
-      */
-
-      // Optimal Registers for flipper-rex2.kc
-      /*
-      allocation.setRegister(new VariableRef("plot::i#0"), RegisterAllocation.getRegisterX());
-      allocation.setRegister(new VariableRef("plot::i#1"), RegisterAllocation.getRegisterX());
-      allocation.setRegister(new VariableRef("plot::i#2"), RegisterAllocation.getRegisterX());
-      allocation.setRegister(new VariableRef("plot::i#3"), RegisterAllocation.getRegisterX());
-      allocation.setRegister(new VariableRef("plot::i#4"), RegisterAllocation.getRegisterX());
-      allocation.setRegister(new VariableRef("plot::x#0"), RegisterAllocation.getRegisterY());
-      allocation.setRegister(new VariableRef("plot::x#1"), RegisterAllocation.getRegisterY());
-      allocation.setRegister(new VariableRef("plot::x#2"), RegisterAllocation.getRegisterY());
-      allocation.setRegister(new VariableRef("plot::y#0"), new RegisterAllocation.RegisterZpByte(100));
-      allocation.setRegister(new VariableRef("plot::y#1"), new RegisterAllocation.RegisterZpByte(100));
-      allocation.setRegister(new VariableRef("plot::y#2"), new RegisterAllocation.RegisterZpByte(100));
-      allocation.setRegister(new VariableRef("plot::y#3"), new RegisterAllocation.RegisterZpByte(100));
-      allocation.setRegister(new VariableRef("plot::y#4"), new RegisterAllocation.RegisterZpByte(100));
-      allocation.setRegister(new VariableRef("plot::line#0"), new RegisterAllocation.RegisterZpPointerByte(101));
-      allocation.setRegister(new VariableRef("plot::line#1"), new RegisterAllocation.RegisterZpPointerByte(101));
-      allocation.setRegister(new VariableRef("plot::line#2"), new RegisterAllocation.RegisterZpPointerByte(101));
-      allocation.setRegister(new VariableRef("plot::line#3"), new RegisterAllocation.RegisterZpPointerByte(101));
-      allocation.setRegister(new VariableRef("plot::line#4"), new RegisterAllocation.RegisterZpPointerByte(101));
-      allocation.setRegister(new VariableRef("plot::$3"), RegisterAllocation.getRegisterA());
-      allocation.setRegister(new VariableRef("prepare::i#0"), RegisterAllocation.getRegisterX());
-      allocation.setRegister(new VariableRef("prepare::i#1"), RegisterAllocation.getRegisterX());
-      allocation.setRegister(new VariableRef("prepare::i#2"), RegisterAllocation.getRegisterX());
-      allocation.setRegister(new VariableRef("flip::srcIdx#0"), RegisterAllocation.getRegisterX());
-      allocation.setRegister(new VariableRef("flip::srcIdx#0"), RegisterAllocation.getRegisterX());
-      allocation.setRegister(new VariableRef("flip::srcIdx#1"), RegisterAllocation.getRegisterX());
-      allocation.setRegister(new VariableRef("flip::srcIdx#2"), RegisterAllocation.getRegisterX());
-      allocation.setRegister(new VariableRef("flip::srcIdx#3"), RegisterAllocation.getRegisterX());
-      allocation.setRegister(new VariableRef("flip::srcIdx#4"), RegisterAllocation.getRegisterX());
-      allocation.setRegister(new VariableRef("flip::dstIdx#0"), RegisterAllocation.getRegisterY());
-      allocation.setRegister(new VariableRef("flip::dstIdx#1"), RegisterAllocation.getRegisterY());
-      allocation.setRegister(new VariableRef("flip::dstIdx#2"), RegisterAllocation.getRegisterY());
-      allocation.setRegister(new VariableRef("flip::dstIdx#3"), RegisterAllocation.getRegisterY());
-      allocation.setRegister(new VariableRef("flip::dstIdx#4"), RegisterAllocation.getRegisterY());
-      allocation.setRegister(new VariableRef("flip::dstIdx#5"), RegisterAllocation.getRegisterY());
-      allocation.setRegister(new VariableRef("flip::c#0"), new RegisterAllocation.RegisterZpByte(103));
-      allocation.setRegister(new VariableRef("flip::c#1"), new RegisterAllocation.RegisterZpByte(103));
-      allocation.setRegister(new VariableRef("flip::c#2"), new RegisterAllocation.RegisterZpByte(103));
-      allocation.setRegister(new VariableRef("flip::r#0"), new RegisterAllocation.RegisterZpByte(104));
-      allocation.setRegister(new VariableRef("flip::r#1"), new RegisterAllocation.RegisterZpByte(104));
-      allocation.setRegister(new VariableRef("flip::r#2"), new RegisterAllocation.RegisterZpByte(104));
-      allocation.setRegister(new VariableRef("flip::r#3"), new RegisterAllocation.RegisterZpByte(104));
-      allocation.setRegister(new VariableRef("flip::r#4"), new RegisterAllocation.RegisterZpByte(104));
-      allocation.setRegister(new VariableRef("flip::i#0"), RegisterAllocation.getRegisterX());
-      allocation.setRegister(new VariableRef("flip::i#1"), RegisterAllocation.getRegisterX());
-      allocation.setRegister(new VariableRef("flip::i#2"), RegisterAllocation.getRegisterX());
-      allocation.setRegister(new VariableRef("flip::$0"), RegisterAllocation.getRegisterA());
-      allocation.setRegister(new VariableRef("flip::$8"), RegisterAllocation.getRegisterA());
-      allocation.setRegister(new VariableRef("flip::$4"), RegisterAllocation.getRegisterA());
-      allocation.setRegister(new VariableRef("main::$1"), RegisterAllocation.getRegisterA());
-      allocation.setRegister(new VariableRef("main::$3"), RegisterAllocation.getRegisterA());
-      allocation.setRegister(new VariableRef("main::c#0"), RegisterAllocation.getRegisterX());
-      allocation.setRegister(new VariableRef("main::c#1"), RegisterAllocation.getRegisterX());
-      allocation.setRegister(new VariableRef("main::c#2"), RegisterAllocation.getRegisterX());
-      allocation.setRegister(new VariableRef("main::c#3"), RegisterAllocation.getRegisterX());
-      allocation.setRegister(new VariableRef("main::c#4"), RegisterAllocation.getRegisterX());
-      */
-
-
-   }
-
-   int currentZp = 2;
-   private void performAllocation(Scope scope, RegisterAllocation allocation) {
-      for (Symbol symbol : scope.getAllSymbols()) {
-         if (symbol instanceof Scope) {
-            performAllocation((Scope) symbol, allocation);
-         } else if (symbol instanceof VariableIntermediate || symbol instanceof VariableVersion) {
-            Variable var = (Variable) symbol;
-            if (symbol.getType().equals(SymbolTypeBasic.BYTE)) {
-               allocation.setRegister(var.getRef(), new RegisterAllocation.RegisterZpByte(currentZp++));
-            } else if (symbol.getType().equals(SymbolTypeBasic.WORD)) {
-               allocation.setRegister(var.getRef(), new RegisterAllocation.RegisterZpWord(currentZp));
-               currentZp = currentZp + 2;
-            } else if (symbol.getType().equals(SymbolTypeBasic.BOOLEAN)) {
-               allocation.setRegister(var.getRef(), new RegisterAllocation.RegisterZpBool(currentZp++));
-            } else if (symbol.getType().equals(SymbolTypeBasic.VOID)) {
-               // No need to setRegister register for VOID value
-            } else if (symbol.getType() instanceof SymbolTypePointer) {
-               allocation.setRegister(var.getRef(), new RegisterAllocation.RegisterZpPointerByte(currentZp));
-               currentZp = currentZp + 2;
-            } else {
-               throw new RuntimeException("Unhandled variable type " + symbol);
-            }
-         }
-      }
-   }
-
-}
diff --git a/src/main/java/dk/camelot64/kickc/passes/Pass4RegistersFinalize.java b/src/main/java/dk/camelot64/kickc/passes/Pass4RegistersFinalize.java
index 0a2201b6a..02f32fa7c 100644
--- a/src/main/java/dk/camelot64/kickc/passes/Pass4RegistersFinalize.java
+++ b/src/main/java/dk/camelot64/kickc/passes/Pass4RegistersFinalize.java
@@ -29,14 +29,14 @@ public class Pass4RegistersFinalize extends Pass2Base {
    private void reallocateZp(LiveRangeEquivalenceClassSet liveRangeEquivalenceClassSet) {
       for (LiveRangeEquivalenceClass equivalenceClass : liveRangeEquivalenceClassSet.getEquivalenceClasses()) {
          RegisterAllocation.Register register = equivalenceClass.getRegister();
-         if(register.isZp()) {
-            String before = register.toString();
+         if(register==null || register.isZp()) {
+            String before = register==null?null:register.toString();
             VariableRef variable = equivalenceClass.getVariables().get(0);
             Variable symbol = getProgram().getScope().getVariable(variable);
             register = allocateNewRegisterZp(symbol.getType());
             equivalenceClass.setRegister(register);
-            if(!before.equals(register.toString())) {
-               getLog().append("Re-allocated ZP register from " + before + " to " + register.toString());
+            if(before==null || !before.equals(register.toString())) {
+               getLog().append("Allocated " + (before==null?"":("(was "+before+") ")) + equivalenceClass.toString());
             }
          }
       }
diff --git a/src/main/java/dk/camelot64/kickc/passes/Pass4ZeroPageAllocation.java b/src/main/java/dk/camelot64/kickc/passes/Pass4ZeroPageAllocation.java
index fb001b5c7..f1009662e 100644
--- a/src/main/java/dk/camelot64/kickc/passes/Pass4ZeroPageAllocation.java
+++ b/src/main/java/dk/camelot64/kickc/passes/Pass4ZeroPageAllocation.java
@@ -25,14 +25,6 @@ public class Pass4ZeroPageAllocation extends Pass2Base {
          getLog().append(liveRangeEquivalenceClass.toString());
       }
 
-      // Coalesce over copy assignments
-      //EquivalenceClassCopyCoalescer equivalenceClassCopyCoalescer = new EquivalenceClassCopyCoalescer(liveRangeEquivalenceClassSet);
-      //equivalenceClassCopyCoalescer.visitGraph(getGraph());
-      //getLog().append("Copy Coalesced equivalence classes");
-      //for (LiveRangeEquivalenceClass liveRangeEquivalenceClass : liveRangeEquivalenceClassSet.getEquivalenceClasses()) {
-      //   getLog().append(liveRangeEquivalenceClass.toString());
-      //}
-
       // Add all other variables one by one to an available equivalence class - or create a new one
       EquivalenceClassAdder equivalenceClassAdder = new EquivalenceClassAdder(liveRangeEquivalenceClassSet);
       equivalenceClassAdder.visitGraph(getGraph());
@@ -42,14 +34,13 @@ public class Pass4ZeroPageAllocation extends Pass2Base {
       }
 
       // Allocate zeropage registers to equivalence classes
-      RegisterAllocation allocation = new RegisterAllocation();
-      for (LiveRangeEquivalenceClass liveRangeEquivalenceClass : liveRangeEquivalenceClassSet.getEquivalenceClasses()) {
-         List<VariableRef> variables = liveRangeEquivalenceClass.getVariables();
-         Variable firstVar = getProgram().getScope().getVariable(variables.get(0));
-         RegisterAllocation.Register zpRegister = allocateNewRegisterZp(firstVar.getType());
-         liveRangeEquivalenceClass.setRegister(zpRegister);
-         getLog().append("Allocated " + zpRegister + " to " + liveRangeEquivalenceClass);
-      }
+   //   for (LiveRangeEquivalenceClass liveRangeEquivalenceClass : liveRangeEquivalenceClassSet.getEquivalenceClasses()) {
+   //      List<VariableRef> variables = liveRangeEquivalenceClass.getVariables();
+   //      Variable firstVar = getProgram().getScope().getVariable(variables.get(0));
+   //      RegisterAllocation.Register zpRegister = allocateNewRegisterZp(firstVar.getType());
+   //      liveRangeEquivalenceClass.setRegister(zpRegister);
+   //      getLog().append("Allocated " + zpRegister + " to " + liveRangeEquivalenceClass);
+   //   }
       getProgram().setLiveRangeEquivalenceClassSet(liveRangeEquivalenceClassSet);
    }
 
@@ -69,8 +60,6 @@ public class Pass4ZeroPageAllocation extends Pass2Base {
          if (assignment.getlValue() instanceof VariableRef) {
             VariableRef lValVar = (VariableRef) assignment.getlValue();
             List<VariableRef> preferences = new ArrayList<>();
-            //addPreference(preferences, assignment.getrValue1());
-            //addPreference(preferences, assignment.getrValue2());
             addToEquivalenceClassSet(lValVar, preferences);
          }
          return null;
@@ -106,48 +95,6 @@ public class Pass4ZeroPageAllocation extends Pass2Base {
          }
       }
 
-      private void addPreference(List<VariableRef> preferences, RValue rValue) {
-         if (rValue instanceof VariableRef) {
-            preferences.add((VariableRef) rValue);
-         }
-      }
-
-   }
-
-   /**
-    * Coalesce equivalence classes when they do not overlap based on all copy assignments to variables.
-    */
-   private class EquivalenceClassCopyCoalescer extends ControlFlowGraphBaseVisitor<Void> {
-
-      private LiveRangeEquivalenceClassSet liveRangeEquivalenceClassSet;
-
-      EquivalenceClassCopyCoalescer(LiveRangeEquivalenceClassSet liveRangeEquivalenceClassSet) {
-         this.liveRangeEquivalenceClassSet = liveRangeEquivalenceClassSet;
-      }
-
-      @Override
-      public Void visitAssignment(StatementAssignment assignment) {
-         if (assignment.getlValue() instanceof VariableRef) {
-            LiveRangeEquivalenceClass lValEquivalenceClass =
-                  liveRangeEquivalenceClassSet.getEquivalenceClass((VariableRef) assignment.getlValue());
-            if (lValEquivalenceClass != null && assignment.getOperator() == null && assignment.getrValue1() == null && assignment.getrValue2() instanceof VariableRef) {
-               // Found copy assignment to a variable in an equivalence class - attempt to coalesce
-               VariableRef assignVar = (VariableRef) assignment.getrValue2();
-               LiveRangeEquivalenceClass assignVarEquivalenceClass = liveRangeEquivalenceClassSet.getOrCreateEquivalenceClass(assignVar);
-               if (lValEquivalenceClass.equals(assignVarEquivalenceClass)) {
-                  getLog().append("Coalesced (already) " + assignment + " in " + lValEquivalenceClass);
-               } else if (!lValEquivalenceClass.getLiveRange().overlaps(assignVarEquivalenceClass.getLiveRange())) {
-                  lValEquivalenceClass.addAll(assignVarEquivalenceClass);
-                  liveRangeEquivalenceClassSet.remove(assignVarEquivalenceClass);
-                  getLog().append("Coalesced " + assignment + " into " + lValEquivalenceClass);
-               } else {
-                  getLog().append("Not coalescing " + assignment);
-               }
-            }
-         }
-         return null;
-      }
-
    }
 
    /**
diff --git a/src/main/java/dk/camelot64/kickc/test/TestCompilationOutput.java b/src/main/java/dk/camelot64/kickc/test/TestCompilationOutput.java
index 9bb836d61..4e9a48951 100644
--- a/src/main/java/dk/camelot64/kickc/test/TestCompilationOutput.java
+++ b/src/main/java/dk/camelot64/kickc/test/TestCompilationOutput.java
@@ -24,6 +24,10 @@ public class TestCompilationOutput extends TestCase {
       helper = new ReferenceHelper("dk/camelot64/kickc/test/ref/");
    }
 
+   public void testInMemArray() throws IOException, URISyntaxException {
+      compileAndCompare("inmemarray");
+   }
+
    public void testVoronoi() throws IOException, URISyntaxException {
       compileAndCompare("voronoi");
    }
diff --git a/src/main/java/dk/camelot64/kickc/test/inmemarray.kc b/src/main/java/dk/camelot64/kickc/test/inmemarray.kc
new file mode 100644
index 000000000..a458be714
--- /dev/null
+++ b/src/main/java/dk/camelot64/kickc/test/inmemarray.kc
@@ -0,0 +1,15 @@
+
+byte* SCREEN = $0400;
+byte[] TXT = { 3, 1, 13, 5, 12, 15, 20, 32};
+
+main();
+
+void main() {
+   byte j = 0;
+   for(byte i : 0..100) {
+      SCREEN[i] = TXT[j];
+      if(++j==8) {
+         j = 0;
+      }
+   }
+}
\ No newline at end of file
diff --git a/src/main/java/dk/camelot64/kickc/test/ref/bresenham.log b/src/main/java/dk/camelot64/kickc/test/ref/bresenham.log
index 82d49b1e0..76d4d417d 100644
--- a/src/main/java/dk/camelot64/kickc/test/ref/bresenham.log
+++ b/src/main/java/dk/camelot64/kickc/test/ref/bresenham.log
@@ -391,6 +391,83 @@ CONTROL FLOW GRAPH WITH ASSIGNMENT CALL & RETURN
   to:@2
 @end: scope:[]  from @2
 
+INITIAL SSA SYMBOL TABLE
+(byte~) $0
+(byte~) $1
+(boolean~) $10
+(byte~) $11
+(byte*~) $12
+(byte~) $13
+(byte~) $14
+(boolean~) $15
+(byte~) $2
+(byte~) $3
+(byte*~) $4
+(byte*~) $5
+(byte~) $6
+(byte*~) $7
+(byte~) $8
+(boolean~) $9
+(label) @1
+(label) @2
+(label) @3
+(label) @begin
+(label) @end
+(byte[1000]) SCREEN
+(byte[1000]) SCREEN#0
+(byte) STAR
+(byte) STAR#0
+(byte) STAR#1
+(byte) STAR#2
+(byte) STAR#3
+(byte*) cursor
+(byte*) cursor#0
+(byte*) cursor#1
+(byte*) cursor#2
+(byte*) cursor#3
+(byte*) cursor#4
+(byte*) cursor#5
+(byte) e
+(byte) e#0
+(byte) e#1
+(byte) e#2
+(byte) e#3
+(byte) e#4
+(byte) e#5
+(byte) x
+(byte) x#0
+(byte) x#1
+(byte) x#2
+(byte) x#3
+(byte) x#4
+(byte) x0
+(byte) x0#0
+(byte) x1
+(byte) x1#0
+(byte) x1#1
+(byte) x1#2
+(byte) x1#3
+(byte) xd
+(byte) xd#0
+(byte) xd#1
+(byte) xd#2
+(byte) xd#3
+(byte) y
+(byte) y#0
+(byte) y#1
+(byte) y#2
+(byte) y#3
+(byte) y#4
+(byte) y0
+(byte) y0#0
+(byte) y1
+(byte) y1#0
+(byte) yd
+(byte) yd#0
+(byte) yd#1
+(byte) yd#2
+(byte) yd#3
+
 Constant (byte) STAR#0 (byte) 81
 Constant (byte[1000]) SCREEN#0 (word) 1024
 Constant (byte) x0#0 (byte) 0
@@ -948,6 +1025,38 @@ Multiple usages for variable. Not optimizing sub-constant (byte) y#2
 Multiple usages for variable. Not optimizing sub-constant (byte*) cursor#1
 Multiple usages for variable. Not optimizing sub-constant (byte) y#2
 Multiple usages for variable. Not optimizing sub-constant (byte*) cursor#1
+FINAL SYMBOL TABLE
+(label) @1
+(label) @2
+(label) @3
+(label) @begin
+(label) @end
+(byte[1000]) SCREEN
+(byte) STAR
+(byte*) cursor
+(byte*) cursor#1
+(byte*) cursor#2
+(byte*) cursor#3
+(byte*) cursor#5
+(byte) e
+(byte) e#1
+(byte) e#2
+(byte) e#3
+(byte) e#5
+(byte) x
+(byte) x#1
+(byte) x#2
+(byte) x0
+(byte) x1
+(byte) xd
+(byte) y
+(byte) y#1
+(byte) y#2
+(byte) y#4
+(byte) y0
+(byte) y1
+(byte) yd
+
 Block Sequence Planned @begin @1 @3 @2 @end 
 Added new block during phi lifting @5(between @2 and @1)
 Added new block during phi lifting @6(between @1 and @2)
@@ -1146,10 +1255,10 @@ Complete equivalence classes
 [ x#2 x#1 ]
 [ e#3 e#5 e#1 e#2 ]
 [ y#2 y#4 y#1 ]
-Allocated zp ptr byte:2 to zp ptr byte:2 [ cursor#3 cursor#5 cursor#1 cursor#2 ]
-Allocated zp byte:4 to zp byte:4 [ x#2 x#1 ]
-Allocated zp byte:5 to zp byte:5 [ e#3 e#5 e#1 e#2 ]
-Allocated zp byte:6 to zp byte:6 [ y#2 y#4 y#1 ]
+Allocated zp ptr byte:2 [ cursor#3 cursor#5 cursor#1 cursor#2 ]
+Allocated zp byte:4 [ x#2 x#1 ]
+Allocated zp byte:5 [ e#3 e#5 e#1 e#2 ]
+Allocated zp byte:6 [ y#2 y#4 y#1 ]
 INITIAL ASM
 //SEG0 @begin
 bbegin:
@@ -1263,7 +1372,7 @@ REGISTER UPLIFT SCOPES
 Uplift Scope [] 55: zp byte:5 [ e#3 e#5 e#1 e#2 ] 46.75: zp ptr byte:2 [ cursor#3 cursor#5 cursor#1 cursor#2 ] 29.33: zp byte:6 [ y#2 y#4 y#1 ] 14.67: zp byte:4 [ x#2 x#1 ] 
 
 Uplifting [] best 1210 combination reg byte x [ e#3 e#5 e#1 e#2 ] zp ptr byte:2 [ cursor#3 cursor#5 cursor#1 cursor#2 ] zp byte:6 [ y#2 y#4 y#1 ] zp byte:4 [ x#2 x#1 ] 
-Re-allocated ZP register from zp byte:6 to zp byte:5
+Allocated (was zp byte:6) zp byte:5 [ y#2 y#4 y#1 ]
 Removing instruction jmp b1
 Removing instruction jmp b3
 Removing instruction jmp b2
diff --git a/src/main/java/dk/camelot64/kickc/test/ref/fibmem.log b/src/main/java/dk/camelot64/kickc/test/ref/fibmem.log
index 1a7337de1..96798d4ef 100644
--- a/src/main/java/dk/camelot64/kickc/test/ref/fibmem.log
+++ b/src/main/java/dk/camelot64/kickc/test/ref/fibmem.log
@@ -197,6 +197,28 @@ main::@return: scope:[main]  from main::@1
   to:@return
 @end: scope:[]  from @2
 
+INITIAL SSA SYMBOL TABLE
+(label) @2
+(label) @begin
+(label) @end
+(byte[15]) fibs
+(byte[15]) fibs#0
+(byte[15]) fibs#1
+(byte[15]) fibs#2
+(void()) main()
+(byte~) main::$0
+(byte~) main::$1
+(byte~) main::$2
+(byte~) main::$3
+(byte~) main::$4
+(boolean~) main::$5
+(label) main::@1
+(label) main::@return
+(byte) main::i
+(byte) main::i#0
+(byte) main::i#1
+(byte) main::i#2
+
 Culled Empty Block (label) @2
 Succesful SSA optimization Pass2CullEmptyBlocks
 CONTROL FLOW GRAPH
@@ -428,6 +450,20 @@ main::@return: scope:[main]  from main::@1
 Multiple usages for variable. Not optimizing sub-constant (byte) main::i#2
 Multiple usages for variable. Not optimizing sub-constant (byte) main::i#2
 Multiple usages for variable. Not optimizing sub-constant (byte) main::i#2
+FINAL SYMBOL TABLE
+(label) @begin
+(label) @end
+(byte[15]) fibs
+(void()) main()
+(byte~) main::$1
+(byte~) main::$3
+(byte~) main::$4
+(label) main::@1
+(label) main::@return
+(byte) main::i
+(byte) main::i#1
+(byte) main::i#2
+
 Block Sequence Planned @begin @end main main::@1 main::@return 
 Added new block during phi lifting main::@3(between main::@1 and main::@1)
 Block Sequence Planned @begin @end main main::@1 main::@return main::@3 
@@ -554,10 +590,10 @@ Complete equivalence classes
 [ main::$1 ]
 [ main::$3 ]
 [ main::$4 ]
-Allocated zp byte:2 to zp byte:2 [ main::i#2 main::i#1 ]
-Allocated zp byte:3 to zp byte:3 [ main::$1 ]
-Allocated zp byte:4 to zp byte:4 [ main::$3 ]
-Allocated zp byte:5 to zp byte:5 [ main::$4 ]
+Allocated zp byte:2 [ main::i#2 main::i#1 ]
+Allocated zp byte:3 [ main::$1 ]
+Allocated zp byte:4 [ main::$3 ]
+Allocated zp byte:5 [ main::$4 ]
 INITIAL ASM
 //SEG0 @begin
 bbegin:
diff --git a/src/main/java/dk/camelot64/kickc/test/ref/flipper-rex2.log b/src/main/java/dk/camelot64/kickc/test/ref/flipper-rex2.log
index 8f7670110..c6e235c62 100644
--- a/src/main/java/dk/camelot64/kickc/test/ref/flipper-rex2.log
+++ b/src/main/java/dk/camelot64/kickc/test/ref/flipper-rex2.log
@@ -1033,6 +1033,183 @@ plot::@return: scope:[plot]  from plot::@3
   to:@return
 @end: scope:[]  from @5
 
+INITIAL SSA SYMBOL TABLE
+(label) @5
+(label) @begin
+(label) @end
+(byte*) RASTER
+(byte*) RASTER#0
+(byte*) RASTER#1
+(byte*) RASTER#10
+(byte*) RASTER#2
+(byte*) RASTER#3
+(byte*) RASTER#4
+(byte*) RASTER#5
+(byte*) RASTER#6
+(byte*) RASTER#7
+(byte*) RASTER#8
+(byte*) RASTER#9
+(byte[1000]) SCREEN
+(byte[1000]) SCREEN#0
+(byte[1000]) SCREEN#1
+(byte[1000]) SCREEN#10
+(byte[1000]) SCREEN#11
+(byte[1000]) SCREEN#2
+(byte[1000]) SCREEN#3
+(byte[1000]) SCREEN#4
+(byte[1000]) SCREEN#5
+(byte[1000]) SCREEN#6
+(byte[1000]) SCREEN#7
+(byte[1000]) SCREEN#8
+(byte[1000]) SCREEN#9
+(byte[256]) buffer1
+(byte[256]) buffer1#0
+(byte[256]) buffer1#1
+(byte[256]) buffer1#10
+(byte[256]) buffer1#11
+(byte[256]) buffer1#12
+(byte[256]) buffer1#13
+(byte[256]) buffer1#14
+(byte[256]) buffer1#15
+(byte[256]) buffer1#16
+(byte[256]) buffer1#17
+(byte[256]) buffer1#18
+(byte[256]) buffer1#19
+(byte[256]) buffer1#2
+(byte[256]) buffer1#20
+(byte[256]) buffer1#21
+(byte[256]) buffer1#22
+(byte[256]) buffer1#3
+(byte[256]) buffer1#4
+(byte[256]) buffer1#5
+(byte[256]) buffer1#6
+(byte[256]) buffer1#7
+(byte[256]) buffer1#8
+(byte[256]) buffer1#9
+(byte[256]) buffer2
+(byte[256]) buffer2#0
+(byte[256]) buffer2#1
+(byte[256]) buffer2#10
+(byte[256]) buffer2#11
+(byte[256]) buffer2#12
+(byte[256]) buffer2#13
+(byte[256]) buffer2#14
+(byte[256]) buffer2#15
+(byte[256]) buffer2#16
+(byte[256]) buffer2#2
+(byte[256]) buffer2#3
+(byte[256]) buffer2#4
+(byte[256]) buffer2#5
+(byte[256]) buffer2#6
+(byte[256]) buffer2#7
+(byte[256]) buffer2#8
+(byte[256]) buffer2#9
+(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::@4
+(label) flip::@5
+(label) flip::@return
+(byte) flip::c
+(byte) flip::c#0
+(byte) flip::c#1
+(byte) flip::c#2
+(byte) flip::dstIdx
+(byte) flip::dstIdx#0
+(byte) flip::dstIdx#1
+(byte) flip::dstIdx#2
+(byte) flip::dstIdx#3
+(byte) flip::dstIdx#4
+(byte) flip::dstIdx#5
+(byte) flip::i
+(byte) flip::i#0
+(byte) flip::i#1
+(byte) flip::i#2
+(byte) flip::r
+(byte) flip::r#0
+(byte) flip::r#1
+(byte) flip::r#2
+(byte) flip::r#3
+(byte) flip::r#4
+(byte) flip::srcIdx
+(byte) flip::srcIdx#0
+(byte) flip::srcIdx#1
+(byte) flip::srcIdx#2
+(byte) flip::srcIdx#3
+(byte) flip::srcIdx#4
+(void()) main()
+(byte~) main::$1
+(boolean~) main::$2
+(byte~) main::$3
+(boolean~) main::$4
+(boolean~) main::$5
+(label) main::@1
+(label) main::@10
+(label) main::@11
+(label) main::@2
+(label) main::@3
+(label) main::@4
+(label) main::@6
+(label) main::@7
+(label) main::@9
+(label) main::@return
+(byte) main::c
+(byte) main::c#0
+(byte) main::c#1
+(byte) main::c#2
+(byte) main::c#3
+(byte) main::c#4
+(byte) main::c#5
+(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::@3
+(label) plot::@return
+(byte) plot::i
+(byte) plot::i#0
+(byte) plot::i#1
+(byte) plot::i#2
+(byte) plot::i#3
+(byte) plot::i#4
+(byte*) plot::line
+(byte*) plot::line#0
+(byte*) plot::line#1
+(byte*) plot::line#2
+(byte*) plot::line#3
+(byte*) plot::line#4
+(byte) plot::x
+(byte) plot::x#0
+(byte) plot::x#1
+(byte) plot::x#2
+(byte) plot::y
+(byte) plot::y#0
+(byte) plot::y#1
+(byte) plot::y#2
+(byte) plot::y#3
+(byte) plot::y#4
+(void()) prepare()
+(boolean~) prepare::$0
+(label) prepare::@1
+(label) prepare::@return
+(byte) prepare::i
+(byte) prepare::i#0
+(byte) prepare::i#1
+(byte) prepare::i#2
+
 Culled Empty Block (label) @5
 Succesful SSA optimization Pass2CullEmptyBlocks
 CONTROL FLOW GRAPH
@@ -3491,6 +3668,78 @@ 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
+FINAL SYMBOL TABLE
+(label) @begin
+(label) @end
+(byte*) RASTER
+(byte[1000]) SCREEN
+(byte[256]) buffer1
+(byte[256]) buffer2
+(void()) flip()
+(byte~) flip::$0
+(byte~) flip::$4
+(label) flip::@1
+(label) flip::@2
+(label) flip::@3
+(label) flip::@4
+(label) flip::@return
+(byte) flip::c
+(byte) flip::c#1
+(byte) flip::c#2
+(byte) flip::dstIdx
+(byte) flip::dstIdx#1
+(byte) flip::dstIdx#2
+(byte) flip::dstIdx#3
+(byte) flip::dstIdx#5
+(byte) flip::i
+(byte) flip::i#1
+(byte) flip::i#2
+(byte) flip::r
+(byte) flip::r#1
+(byte) flip::r#2
+(byte) flip::srcIdx
+(byte) flip::srcIdx#1
+(byte) flip::srcIdx#2
+(byte) flip::srcIdx#3
+(void()) main()
+(byte~) main::$1
+(byte~) main::$3
+(label) main::@10
+(label) main::@11
+(label) main::@3
+(label) main::@4
+(label) main::@6
+(label) main::@7
+(label) main::@return
+(byte) main::c
+(byte) main::c#1
+(byte) main::c#2
+(void()) plot()
+(byte~) plot::$3
+(label) plot::@1
+(label) plot::@2
+(label) plot::@3
+(label) plot::@return
+(byte) plot::i
+(byte) plot::i#1
+(byte) plot::i#2
+(byte) plot::i#3
+(byte*) plot::line
+(byte*) plot::line#1
+(byte*) plot::line#2
+(byte) plot::x
+(byte) plot::x#1
+(byte) plot::x#2
+(byte) plot::y
+(byte) plot::y#1
+(byte) plot::y#2
+(void()) prepare()
+(label) prepare::@1
+(label) prepare::@return
+(byte) prepare::i
+(byte) prepare::i#1
+(byte) prepare::i#2
+
 Block Sequence Planned @begin @end main main::@3 main::@4 main::@6 main::@7 main::@10 main::@11 main::@return plot plot::@1 plot::@2 plot::@3 plot::@return flip flip::@1 flip::@2 flip::@4 flip::@3 flip::@return prepare prepare::@1 prepare::@return 
 Added new block during phi lifting main::@12(between main::@6 and main::@3)
 Added new block during phi lifting plot::@5(between plot::@3 and plot::@1)
@@ -4091,22 +4340,22 @@ Complete equivalence classes
 [ plot::$3 ]
 [ flip::$0 ]
 [ flip::$4 ]
-Allocated zp byte:2 to zp byte:2 [ main::c#2 main::c#1 ]
-Allocated zp ptr byte:3 to zp ptr byte:3 [ plot::line#2 plot::line#1 ]
-Allocated zp byte:5 to zp byte:5 [ plot::y#2 plot::y#1 ]
-Allocated zp byte:6 to zp byte:6 [ plot::i#2 plot::i#3 plot::i#1 ]
-Allocated zp byte:7 to zp byte:7 [ plot::x#2 plot::x#1 ]
-Allocated zp byte:8 to zp byte:8 [ flip::r#2 flip::r#1 ]
-Allocated zp byte:9 to zp byte:9 [ flip::srcIdx#2 flip::srcIdx#3 flip::srcIdx#1 ]
-Allocated zp byte:10 to zp byte:10 [ flip::dstIdx#3 flip::dstIdx#5 flip::dstIdx#2 flip::dstIdx#1 ]
-Allocated zp byte:11 to zp byte:11 [ flip::c#2 flip::c#1 ]
-Allocated zp byte:12 to zp byte:12 [ flip::i#2 flip::i#1 ]
-Allocated zp byte:13 to zp byte:13 [ prepare::i#2 prepare::i#1 ]
-Allocated zp byte:14 to zp byte:14 [ main::$1 ]
-Allocated zp byte:15 to zp byte:15 [ main::$3 ]
-Allocated zp byte:16 to zp byte:16 [ plot::$3 ]
-Allocated zp byte:17 to zp byte:17 [ flip::$0 ]
-Allocated zp byte:18 to zp byte:18 [ flip::$4 ]
+Allocated zp byte:2 [ main::c#2 main::c#1 ]
+Allocated zp ptr byte:3 [ plot::line#2 plot::line#1 ]
+Allocated zp byte:5 [ plot::y#2 plot::y#1 ]
+Allocated zp byte:6 [ plot::i#2 plot::i#3 plot::i#1 ]
+Allocated zp byte:7 [ plot::x#2 plot::x#1 ]
+Allocated zp byte:8 [ flip::r#2 flip::r#1 ]
+Allocated zp byte:9 [ flip::srcIdx#2 flip::srcIdx#3 flip::srcIdx#1 ]
+Allocated zp byte:10 [ flip::dstIdx#3 flip::dstIdx#5 flip::dstIdx#2 flip::dstIdx#1 ]
+Allocated zp byte:11 [ flip::c#2 flip::c#1 ]
+Allocated zp byte:12 [ flip::i#2 flip::i#1 ]
+Allocated zp byte:13 [ prepare::i#2 prepare::i#1 ]
+Allocated zp byte:14 [ main::$1 ]
+Allocated zp byte:15 [ main::$3 ]
+Allocated zp byte:16 [ plot::$3 ]
+Allocated zp byte:17 [ flip::$0 ]
+Allocated zp byte:18 [ flip::$4 ]
 INITIAL ASM
 //SEG0 @begin
 bbegin:
@@ -4431,9 +4680,9 @@ Uplifting [main] best 125624 combination reg byte a [ main::$1 ] reg byte a [ ma
 Uplifting [prepare] best 125524 combination reg byte x [ prepare::i#2 prepare::i#1 ] 
 Uplifting [] best 125524 combination 
 Coalescing zero page register [ zp byte:5 [ plot::y#2 plot::y#1 ] ] with [ zp byte:8 [ flip::r#2 flip::r#1 ] ]
-Re-allocated ZP register from zp ptr byte:3 to zp ptr byte:2
-Re-allocated ZP register from zp byte:5 to zp byte:4
-Re-allocated ZP register from zp byte:11 to zp byte:5
+Allocated (was zp ptr byte:3) zp ptr byte:2 [ plot::line#2 plot::line#1 ]
+Allocated (was zp byte:5) zp byte:4 [ plot::y#2 plot::y#1 flip::r#2 flip::r#1 ]
+Allocated (was zp byte:11) zp byte:5 [ flip::c#2 flip::c#1 ]
 Removing instruction jmp bend
 Removing instruction jmp b3
 Removing instruction jmp b4
diff --git a/src/main/java/dk/camelot64/kickc/test/ref/forclassicmin.log b/src/main/java/dk/camelot64/kickc/test/ref/forclassicmin.log
index 9f634c962..5e62717c5 100644
--- a/src/main/java/dk/camelot64/kickc/test/ref/forclassicmin.log
+++ b/src/main/java/dk/camelot64/kickc/test/ref/forclassicmin.log
@@ -162,6 +162,25 @@ main::@return: scope:[main]  from main::@1
   to:@end
 @end: scope:[]  from @2
 
+INITIAL SSA SYMBOL TABLE
+(label) @1
+(label) @2
+(label) @begin
+(label) @end
+(byte*) SCREEN
+(byte*) SCREEN#0
+(byte*) SCREEN#1
+(byte*) SCREEN#2
+(byte*) SCREEN#3
+(void()) main()
+(boolean~) main::$0
+(label) main::@1
+(label) main::@return
+(byte) main::i
+(byte) main::i#0
+(byte) main::i#1
+(byte) main::i#2
+
 Culled Empty Block (label) @2
 Succesful SSA optimization Pass2CullEmptyBlocks
 CONTROL FLOW GRAPH
@@ -330,6 +349,18 @@ main::@return: scope:[main]  from main::@1
 
 Multiple usages for variable. Not optimizing sub-constant (byte) main::i#2
 Multiple usages for variable. Not optimizing sub-constant (byte) main::i#2
+FINAL SYMBOL TABLE
+(label) @1
+(label) @begin
+(label) @end
+(byte*) SCREEN
+(void()) main()
+(label) main::@1
+(label) main::@return
+(byte) main::i
+(byte) main::i#1
+(byte) main::i#2
+
 Block Sequence Planned @begin @1 @end main main::@1 main::@return 
 Added new block during phi lifting main::@3(between main::@1 and main::@1)
 Block Sequence Planned @begin @1 @end main main::@1 main::@return main::@3 
@@ -437,7 +468,7 @@ Initial phi equivalence classes
 [ main::i#2 main::i#1 ]
 Complete equivalence classes
 [ main::i#2 main::i#1 ]
-Allocated zp byte:2 to zp byte:2 [ main::i#2 main::i#1 ]
+Allocated zp byte:2 [ main::i#2 main::i#1 ]
 INITIAL ASM
 //SEG0 @begin
 bbegin:
diff --git a/src/main/java/dk/camelot64/kickc/test/ref/forrangemin.log b/src/main/java/dk/camelot64/kickc/test/ref/forrangemin.log
index 863a3ffde..22bed24aa 100644
--- a/src/main/java/dk/camelot64/kickc/test/ref/forrangemin.log
+++ b/src/main/java/dk/camelot64/kickc/test/ref/forrangemin.log
@@ -241,6 +241,39 @@ main::@return: scope:[main]  from main::@2
   to:@end
 @end: scope:[]  from @2
 
+INITIAL SSA SYMBOL TABLE
+(label) @1
+(label) @2
+(label) @begin
+(label) @end
+(byte*) SCREEN1
+(byte*) SCREEN1#0
+(byte*) SCREEN1#1
+(byte*) SCREEN1#2
+(byte*) SCREEN1#3
+(byte*) SCREEN2
+(byte*) SCREEN2#0
+(byte*) SCREEN2#1
+(byte*) SCREEN2#2
+(byte*) SCREEN2#3
+(byte*) SCREEN2#4
+(byte*) SCREEN2#5
+(void()) main()
+(boolean~) main::$0
+(boolean~) main::$1
+(label) main::@1
+(label) main::@2
+(label) main::@3
+(label) main::@return
+(byte) main::i
+(byte) main::i#0
+(byte) main::i#1
+(byte) main::i#2
+(byte) main::j
+(byte) main::j#0
+(byte) main::j#1
+(byte) main::j#2
+
 Culled Empty Block (label) @2
 Succesful SSA optimization Pass2CullEmptyBlocks
 CONTROL FLOW GRAPH
@@ -557,6 +590,23 @@ main::@return: scope:[main]  from main::@2
 
 Multiple usages for variable. Not optimizing sub-constant (byte) main::i#2
 Multiple usages for variable. Not optimizing sub-constant (byte) main::j#2
+FINAL SYMBOL TABLE
+(label) @1
+(label) @begin
+(label) @end
+(byte*) SCREEN1
+(byte*) SCREEN2
+(void()) main()
+(label) main::@1
+(label) main::@2
+(label) main::@return
+(byte) main::i
+(byte) main::i#1
+(byte) main::i#2
+(byte) main::j
+(byte) main::j#1
+(byte) main::j#2
+
 Block Sequence Planned @begin @1 @end main main::@1 main::@2 main::@return 
 Added new block during phi lifting main::@5(between main::@1 and main::@1)
 Added new block during phi lifting main::@6(between main::@2 and main::@2)
@@ -703,8 +753,8 @@ Initial phi equivalence classes
 Complete equivalence classes
 [ main::i#2 main::i#1 ]
 [ main::j#2 main::j#1 ]
-Allocated zp byte:2 to zp byte:2 [ main::i#2 main::i#1 ]
-Allocated zp byte:3 to zp byte:3 [ main::j#2 main::j#1 ]
+Allocated zp byte:2 [ main::i#2 main::i#1 ]
+Allocated zp byte:3 [ main::j#2 main::j#1 ]
 INITIAL ASM
 //SEG0 @begin
 bbegin:
diff --git a/src/main/java/dk/camelot64/kickc/test/ref/ifmin.log b/src/main/java/dk/camelot64/kickc/test/ref/ifmin.log
index 73a862654..c59f32606 100644
--- a/src/main/java/dk/camelot64/kickc/test/ref/ifmin.log
+++ b/src/main/java/dk/camelot64/kickc/test/ref/ifmin.log
@@ -203,6 +203,31 @@ main::@return: scope:[main]  from main::@2
   to:@return
 @end: scope:[]  from @2
 
+INITIAL SSA SYMBOL TABLE
+(label) @2
+(label) @begin
+(label) @end
+(byte*) SCREEN
+(byte*) SCREEN#0
+(byte*) SCREEN#1
+(byte*) SCREEN#2
+(byte*) SCREEN#3
+(byte*) SCREEN#4
+(void()) main()
+(boolean~) main::$0
+(boolean~) main::$1
+(boolean~) main::$2
+(label) main::@1
+(label) main::@2
+(label) main::@3
+(label) main::@return
+(byte) main::i
+(byte) main::i#0
+(byte) main::i#1
+(byte) main::i#2
+(byte) main::i#3
+(byte) main::i#4
+
 Culled Empty Block (label) @2
 Succesful SSA optimization Pass2CullEmptyBlocks
 CONTROL FLOW GRAPH
@@ -441,6 +466,19 @@ main::@return: scope:[main]  from main::@2
   to:@return
 @end: scope:[]  from @begin
 
+FINAL SYMBOL TABLE
+(label) @begin
+(label) @end
+(byte*) SCREEN
+(void()) main()
+(label) main::@1
+(label) main::@2
+(label) main::@3
+(label) main::@return
+(byte) main::i
+(byte) main::i#1
+(byte) main::i#2
+
 Block Sequence Planned @begin @end main main::@1 main::@3 main::@2 main::@return 
 Added new block during phi lifting main::@5(between main::@2 and main::@1)
 Block Sequence Planned @begin @end main main::@1 main::@3 main::@2 main::@return main::@5 
@@ -558,7 +596,7 @@ Initial phi equivalence classes
 [ main::i#2 main::i#1 ]
 Complete equivalence classes
 [ main::i#2 main::i#1 ]
-Allocated zp byte:2 to zp byte:2 [ main::i#2 main::i#1 ]
+Allocated zp byte:2 [ main::i#2 main::i#1 ]
 INITIAL ASM
 //SEG0 @begin
 bbegin:
diff --git a/src/main/java/dk/camelot64/kickc/test/ref/loopmin.log b/src/main/java/dk/camelot64/kickc/test/ref/loopmin.log
index 55ceb54b4..be3467c27 100644
--- a/src/main/java/dk/camelot64/kickc/test/ref/loopmin.log
+++ b/src/main/java/dk/camelot64/kickc/test/ref/loopmin.log
@@ -156,6 +156,29 @@ CONTROL FLOW GRAPH WITH ASSIGNMENT CALL & RETURN
   to:@2
 @end: scope:[]  from @2
 
+INITIAL SSA SYMBOL TABLE
+(boolean~) $0
+(boolean~) $1
+(byte~) $2
+(boolean~) $3
+(label) @1
+(label) @2
+(label) @3
+(label) @begin
+(label) @end
+(byte) i
+(byte) i#0
+(byte) i#1
+(byte) i#2
+(byte) i#3
+(byte) i#4
+(byte) s
+(byte) s#0
+(byte) s#1
+(byte) s#2
+(byte) s#3
+(byte) s#4
+
 Constant (byte) i#0 (byte) 10
 Constant (byte) s#0 (byte) 0
 Succesful SSA optimization Pass2ConstantPropagation
@@ -278,6 +301,20 @@ CONTROL FLOW GRAPH
   to:@2
 @end: scope:[]  from @2
 
+FINAL SYMBOL TABLE
+(label) @1
+(label) @2
+(label) @3
+(label) @begin
+(label) @end
+(byte) i
+(byte) i#1
+(byte) i#2
+(byte) s
+(byte) s#1
+(byte) s#2
+(byte) s#4
+
 Block Sequence Planned @begin @1 @3 @2 @end 
 Added new block during phi lifting @5(between @2 and @1)
 Added new block during phi lifting @6(between @1 and @2)
@@ -403,8 +440,8 @@ Initial phi equivalence classes
 Complete equivalence classes
 [ i#2 i#1 ]
 [ s#2 s#4 s#1 ]
-Allocated zp byte:2 to zp byte:2 [ i#2 i#1 ]
-Allocated zp byte:3 to zp byte:3 [ s#2 s#4 s#1 ]
+Allocated zp byte:2 [ i#2 i#1 ]
+Allocated zp byte:3 [ s#2 s#4 s#1 ]
 INITIAL ASM
 //SEG0 @begin
 bbegin:
diff --git a/src/main/java/dk/camelot64/kickc/test/ref/loopnest.log b/src/main/java/dk/camelot64/kickc/test/ref/loopnest.log
index 67060d293..d12b29f7f 100644
--- a/src/main/java/dk/camelot64/kickc/test/ref/loopnest.log
+++ b/src/main/java/dk/camelot64/kickc/test/ref/loopnest.log
@@ -258,6 +258,36 @@ nest::@return: scope:[nest]  from nest::@1
   to:@return
 @end: scope:[]  from @3
 
+INITIAL SSA SYMBOL TABLE
+(label) @3
+(label) @begin
+(label) @end
+(byte*) SCREEN
+(byte*) SCREEN#0
+(byte*) SCREEN#1
+(byte*) SCREEN#2
+(byte*) SCREEN#3
+(byte*) SCREEN#4
+(byte*) SCREEN#5
+(void()) main()
+(boolean~) main::$1
+(label) main::@1
+(label) main::@3
+(label) main::@return
+(byte) main::i
+(byte) main::i#0
+(byte) main::i#1
+(byte) main::i#2
+(byte) main::i#3
+(void()) nest()
+(boolean~) nest::$0
+(label) nest::@1
+(label) nest::@return
+(byte) nest::j
+(byte) nest::j#0
+(byte) nest::j#1
+(byte) nest::j#2
+
 Culled Empty Block (label) @3
 Succesful SSA optimization Pass2CullEmptyBlocks
 CONTROL FLOW GRAPH
@@ -554,6 +584,24 @@ nest::@return: scope:[nest]  from nest::@1
   to:@return
 @end: scope:[]  from @begin
 
+FINAL SYMBOL TABLE
+(label) @begin
+(label) @end
+(byte*) SCREEN
+(void()) main()
+(label) main::@1
+(label) main::@3
+(label) main::@return
+(byte) main::i
+(byte) main::i#1
+(byte) main::i#2
+(void()) nest()
+(label) nest::@1
+(label) nest::@return
+(byte) nest::j
+(byte) nest::j#1
+(byte) nest::j#2
+
 Block Sequence Planned @begin @end main main::@1 main::@3 main::@return nest nest::@1 nest::@return 
 Added new block during phi lifting main::@4(between main::@3 and main::@1)
 Added new block during phi lifting nest::@3(between nest::@1 and nest::@1)
@@ -733,8 +781,8 @@ Initial phi equivalence classes
 Complete equivalence classes
 [ main::i#2 main::i#1 ]
 [ nest::j#2 nest::j#1 ]
-Allocated zp byte:2 to zp byte:2 [ main::i#2 main::i#1 ]
-Allocated zp byte:3 to zp byte:3 [ nest::j#2 nest::j#1 ]
+Allocated zp byte:2 [ main::i#2 main::i#1 ]
+Allocated zp byte:3 [ nest::j#2 nest::j#1 ]
 INITIAL ASM
 //SEG0 @begin
 bbegin:
diff --git a/src/main/java/dk/camelot64/kickc/test/ref/loopnest2.log b/src/main/java/dk/camelot64/kickc/test/ref/loopnest2.log
index 772e16cdd..1c78b64de 100644
--- a/src/main/java/dk/camelot64/kickc/test/ref/loopnest2.log
+++ b/src/main/java/dk/camelot64/kickc/test/ref/loopnest2.log
@@ -559,6 +559,84 @@ nest2::@return: scope:[nest2]  from nest2::@3
   to:@return
 @end: scope:[]  from @4
 
+INITIAL SSA SYMBOL TABLE
+(label) @4
+(label) @begin
+(label) @end
+(byte*) SCREEN
+(byte*) SCREEN#0
+(byte*) SCREEN#1
+(byte*) SCREEN#10
+(byte*) SCREEN#11
+(byte*) SCREEN#12
+(byte*) SCREEN#13
+(byte*) SCREEN#14
+(byte*) SCREEN#2
+(byte*) SCREEN#3
+(byte*) SCREEN#4
+(byte*) SCREEN#5
+(byte*) SCREEN#6
+(byte*) SCREEN#7
+(byte*) SCREEN#8
+(byte*) SCREEN#9
+(void()) main()
+(boolean~) main::$1
+(boolean~) main::$2
+(label) main::@1
+(label) main::@2
+(label) main::@3
+(label) main::@5
+(label) main::@return
+(byte) main::i
+(byte) main::i#0
+(byte) main::i#1
+(byte) main::i#2
+(byte) main::i#3
+(byte) main::i#4
+(byte) main::i#5
+(byte) main::j
+(byte) main::j#0
+(byte) main::j#1
+(byte) main::j#2
+(byte) main::j#3
+(void()) nest1()
+(boolean~) nest1::$1
+(boolean~) nest1::$2
+(label) nest1::@1
+(label) nest1::@2
+(label) nest1::@3
+(label) nest1::@5
+(label) nest1::@return
+(byte) nest1::i
+(byte) nest1::i#0
+(byte) nest1::i#1
+(byte) nest1::i#2
+(byte) nest1::i#3
+(byte) nest1::i#4
+(byte) nest1::i#5
+(byte) nest1::j
+(byte) nest1::j#0
+(byte) nest1::j#1
+(byte) nest1::j#2
+(byte) nest1::j#3
+(void()) nest2()
+(boolean~) nest2::$0
+(boolean~) nest2::$1
+(label) nest2::@1
+(label) nest2::@2
+(label) nest2::@3
+(label) nest2::@return
+(byte) nest2::i
+(byte) nest2::i#0
+(byte) nest2::i#1
+(byte) nest2::i#2
+(byte) nest2::i#3
+(byte) nest2::i#4
+(byte) nest2::j
+(byte) nest2::j#0
+(byte) nest2::j#1
+(byte) nest2::j#2
+
 Culled Empty Block (label) @4
 Succesful SSA optimization Pass2CullEmptyBlocks
 CONTROL FLOW GRAPH
@@ -1446,6 +1524,46 @@ nest2::@return: scope:[nest2]  from nest2::@3
   to:@return
 @end: scope:[]  from @begin
 
+FINAL SYMBOL TABLE
+(label) @begin
+(label) @end
+(byte*) SCREEN
+(void()) main()
+(label) main::@1
+(label) main::@2
+(label) main::@3
+(label) main::@5
+(label) main::@return
+(byte) main::i
+(byte) main::i#1
+(byte) main::i#2
+(byte) main::j
+(byte) main::j#1
+(byte) main::j#2
+(void()) nest1()
+(label) nest1::@1
+(label) nest1::@2
+(label) nest1::@3
+(label) nest1::@5
+(label) nest1::@return
+(byte) nest1::i
+(byte) nest1::i#1
+(byte) nest1::i#2
+(byte) nest1::j
+(byte) nest1::j#1
+(byte) nest1::j#2
+(void()) nest2()
+(label) nest2::@1
+(label) nest2::@2
+(label) nest2::@3
+(label) nest2::@return
+(byte) nest2::i
+(byte) nest2::i#1
+(byte) nest2::i#2
+(byte) nest2::j
+(byte) nest2::j#1
+(byte) nest2::j#2
+
 Block Sequence Planned @begin @end main main::@1 main::@2 main::@5 main::@3 main::@return nest1 nest1::@1 nest1::@2 nest1::@5 nest1::@3 nest1::@return nest2 nest2::@1 nest2::@2 nest2::@3 nest2::@return 
 Added new block during phi lifting main::@6(between main::@3 and main::@1)
 Added new block during phi lifting main::@7(between main::@5 and main::@2)
@@ -1922,12 +2040,12 @@ Complete equivalence classes
 [ nest1::j#2 nest1::j#1 ]
 [ nest2::i#2 nest2::i#1 ]
 [ nest2::j#2 nest2::j#1 ]
-Allocated zp byte:2 to zp byte:2 [ main::i#2 main::i#1 ]
-Allocated zp byte:3 to zp byte:3 [ main::j#2 main::j#1 ]
-Allocated zp byte:4 to zp byte:4 [ nest1::i#2 nest1::i#1 ]
-Allocated zp byte:5 to zp byte:5 [ nest1::j#2 nest1::j#1 ]
-Allocated zp byte:6 to zp byte:6 [ nest2::i#2 nest2::i#1 ]
-Allocated zp byte:7 to zp byte:7 [ nest2::j#2 nest2::j#1 ]
+Allocated zp byte:2 [ main::i#2 main::i#1 ]
+Allocated zp byte:3 [ main::j#2 main::j#1 ]
+Allocated zp byte:4 [ nest1::i#2 nest1::i#1 ]
+Allocated zp byte:5 [ nest1::j#2 nest1::j#1 ]
+Allocated zp byte:6 [ nest2::i#2 nest2::i#1 ]
+Allocated zp byte:7 [ nest2::j#2 nest2::j#1 ]
 INITIAL ASM
 //SEG0 @begin
 bbegin:
diff --git a/src/main/java/dk/camelot64/kickc/test/ref/loopsplit.log b/src/main/java/dk/camelot64/kickc/test/ref/loopsplit.log
index 3235dc10d..91f854fde 100644
--- a/src/main/java/dk/camelot64/kickc/test/ref/loopsplit.log
+++ b/src/main/java/dk/camelot64/kickc/test/ref/loopsplit.log
@@ -248,6 +248,35 @@ main::@return: scope:[main]  from main::@1
   to:@return
 @end: scope:[]  from @2
 
+INITIAL SSA SYMBOL TABLE
+(label) @2
+(label) @begin
+(label) @end
+(void()) main()
+(boolean~) main::$0
+(boolean~) main::$1
+(boolean~) main::$2
+(label) main::@1
+(label) main::@2
+(label) main::@4
+(label) main::@8
+(label) main::@return
+(byte) main::i
+(byte) main::i#0
+(byte) main::i#1
+(byte) main::i#2
+(byte) main::i#3
+(byte) main::i#4
+(byte) main::i#5
+(byte) main::s
+(byte) main::s#0
+(byte) main::s#1
+(byte) main::s#2
+(byte) main::s#3
+(byte) main::s#4
+(byte) main::s#5
+(byte) main::s#6
+
 Culled Empty Block (label) @2
 Succesful SSA optimization Pass2CullEmptyBlocks
 CONTROL FLOW GRAPH
@@ -421,6 +450,23 @@ main::@return: scope:[main]  from main::@1
   to:@return
 @end: scope:[]  from @begin
 
+FINAL SYMBOL TABLE
+(label) @begin
+(label) @end
+(void()) main()
+(label) main::@1
+(label) main::@2
+(label) main::@4
+(label) main::@8
+(label) main::@return
+(byte) main::i
+(byte) main::i#1
+(byte) main::i#2
+(byte) main::s
+(byte) main::s#1
+(byte) main::s#2
+(byte) main::s#3
+
 Block Sequence Planned @begin @end main main::@1 main::@return main::@2 main::@8 main::@4 
 Block Sequence Planned @begin @end main main::@1 main::@return main::@2 main::@8 main::@4 
 CONTROL FLOW GRAPH - PHI LIFTED
@@ -568,8 +614,8 @@ Initial phi equivalence classes
 Complete equivalence classes
 [ main::i#2 main::i#1 ]
 [ main::s#3 main::s#1 main::s#2 ]
-Allocated zp byte:2 to zp byte:2 [ main::i#2 main::i#1 ]
-Allocated zp byte:3 to zp byte:3 [ main::s#3 main::s#1 main::s#2 ]
+Allocated zp byte:2 [ main::i#2 main::i#1 ]
+Allocated zp byte:3 [ main::s#3 main::s#1 main::s#2 ]
 INITIAL ASM
 //SEG0 @begin
 bbegin:
diff --git a/src/main/java/dk/camelot64/kickc/test/ref/minus.log b/src/main/java/dk/camelot64/kickc/test/ref/minus.log
index 041710afc..b8d966ebf 100644
--- a/src/main/java/dk/camelot64/kickc/test/ref/minus.log
+++ b/src/main/java/dk/camelot64/kickc/test/ref/minus.log
@@ -116,6 +116,22 @@ CONTROL FLOW GRAPH WITH ASSIGNMENT CALL & RETURN
   to:@end
 @end: scope:[]  from @1
 
+INITIAL SSA SYMBOL TABLE
+(byte~) $0
+(byte~) $1
+(byte~) $2
+(boolean~) $3
+(label) @1
+(label) @begin
+(label) @end
+(byte) i
+(byte) i#0
+(byte) i#1
+(byte) i#2
+(byte[16]) p
+(byte[16]) p#0
+(byte[16]) p#1
+
 Constant (byte[16]) p#0 (word) 4352
 Constant (byte) i#0 (byte) 5
 Succesful SSA optimization Pass2ConstantPropagation
@@ -223,6 +239,16 @@ Multiple usages for variable. Not optimizing sub-constant (byte) i#2
 Multiple usages for variable. Not optimizing sub-constant (byte) i#2
 Multiple usages for variable. Not optimizing sub-constant (byte) i#2
 Multiple usages for variable. Not optimizing sub-constant (byte) i#2
+FINAL SYMBOL TABLE
+(byte~) $1
+(label) @1
+(label) @begin
+(label) @end
+(byte) i
+(byte) i#1
+(byte) i#2
+(byte[16]) p
+
 Block Sequence Planned @begin @1 @end 
 Added new block during phi lifting @3(between @1 and @1)
 Block Sequence Planned @begin @1 @end @3 
@@ -306,8 +332,8 @@ Added variable $1 to zero page equivalence class [ $1 ]
 Complete equivalence classes
 [ i#2 i#1 ]
 [ $1 ]
-Allocated zp byte:2 to zp byte:2 [ i#2 i#1 ]
-Allocated zp byte:3 to zp byte:3 [ $1 ]
+Allocated zp byte:2 [ i#2 i#1 ]
+Allocated zp byte:3 [ $1 ]
 INITIAL ASM
 //SEG0 @begin
 bbegin:
diff --git a/src/main/java/dk/camelot64/kickc/test/ref/modglobal.log b/src/main/java/dk/camelot64/kickc/test/ref/modglobal.log
index 5012d07f1..324054b08 100644
--- a/src/main/java/dk/camelot64/kickc/test/ref/modglobal.log
+++ b/src/main/java/dk/camelot64/kickc/test/ref/modglobal.log
@@ -312,6 +312,63 @@ inccnt::@return: scope:[inccnt]  from inccnt
   to:@return
 @end: scope:[]  from @3
 
+INITIAL SSA SYMBOL TABLE
+(label) @3
+(label) @begin
+(label) @end
+(byte[256]) SCREEN
+(byte[256]) SCREEN#0
+(byte[256]) SCREEN#1
+(byte[256]) SCREEN#2
+(byte[256]) SCREEN#3
+(byte) cnt
+(byte) cnt#0
+(byte) cnt#1
+(byte) cnt#10
+(byte) cnt#11
+(byte) cnt#12
+(byte) cnt#13
+(byte) cnt#14
+(byte) cnt#2
+(byte) cnt#3
+(byte) cnt#4
+(byte) cnt#5
+(byte) cnt#6
+(byte) cnt#7
+(byte) cnt#8
+(byte) cnt#9
+(byte) cnt2
+(byte) cnt2#0
+(byte) cnt2#1
+(byte) cnt2#10
+(byte) cnt2#11
+(byte) cnt2#12
+(byte) cnt2#13
+(byte) cnt2#2
+(byte) cnt2#3
+(byte) cnt2#4
+(byte) cnt2#5
+(byte) cnt2#6
+(byte) cnt2#7
+(byte) cnt2#8
+(byte) cnt2#9
+(byte()) inccnt()
+(label) inccnt::@return
+(byte) inccnt::return
+(byte) inccnt::return#0
+(byte) inccnt::return#1
+(byte) inccnt::return#2
+(byte) inccnt::return#3
+(byte) inccnt::return#4
+(byte) inccnt::return#5
+(byte) inccnt::return#6
+(void()) main()
+(byte~) main::$0
+(byte~) main::$1
+(label) main::@1
+(label) main::@2
+(label) main::@return
+
 Constant (byte) cnt#0 (byte) 0
 Constant (byte) cnt2#0 (byte) 0
 Constant (byte[256]) SCREEN#0 (word) 1024
@@ -539,6 +596,28 @@ Not aliassing across scopes: inccnt::return#0 cnt#1
 Not aliassing across scopes: main::$0 inccnt::return#0
 Not aliassing across scopes: main::$1 inccnt::return#0
 Not aliassing across scopes: inccnt::return#0 cnt#1
+FINAL SYMBOL TABLE
+(label) @begin
+(label) @end
+(byte[256]) SCREEN
+(byte) cnt
+(byte) cnt#1
+(byte) cnt#12
+(byte) cnt#3
+(byte) cnt2
+(byte) cnt2#1
+(byte) cnt2#11
+(byte()) inccnt()
+(label) inccnt::@return
+(byte) inccnt::return
+(byte) inccnt::return#0
+(void()) main()
+(byte~) main::$0
+(byte~) main::$1
+(label) main::@1
+(label) main::@2
+(label) main::@return
+
 Block Sequence Planned @begin @end main main::@1 main::@2 main::@return inccnt inccnt::@return 
 Block Sequence Planned @begin @end main main::@1 main::@2 main::@return inccnt inccnt::@return 
 CONTROL FLOW GRAPH - PHI LIFTED
@@ -711,12 +790,12 @@ Complete equivalence classes
 [ main::$1 ]
 [ cnt#1 ]
 [ inccnt::return#0 ]
-Allocated zp byte:2 to zp byte:2 [ cnt#12 cnt#3 ]
-Allocated zp byte:3 to zp byte:3 [ cnt2#11 cnt2#1 ]
-Allocated zp byte:4 to zp byte:4 [ main::$0 ]
-Allocated zp byte:5 to zp byte:5 [ main::$1 ]
-Allocated zp byte:6 to zp byte:6 [ cnt#1 ]
-Allocated zp byte:7 to zp byte:7 [ inccnt::return#0 ]
+Allocated zp byte:2 [ cnt#12 cnt#3 ]
+Allocated zp byte:3 [ cnt2#11 cnt2#1 ]
+Allocated zp byte:4 [ main::$0 ]
+Allocated zp byte:5 [ main::$1 ]
+Allocated zp byte:6 [ cnt#1 ]
+Allocated zp byte:7 [ inccnt::return#0 ]
 INITIAL ASM
 //SEG0 @begin
 bbegin:
diff --git a/src/main/java/dk/camelot64/kickc/test/ref/modglobalmin.log b/src/main/java/dk/camelot64/kickc/test/ref/modglobalmin.log
index a969e01a4..7a8068e61 100644
--- a/src/main/java/dk/camelot64/kickc/test/ref/modglobalmin.log
+++ b/src/main/java/dk/camelot64/kickc/test/ref/modglobalmin.log
@@ -241,6 +241,39 @@ inccnt::@return: scope:[inccnt]  from inccnt
   to:@return
 @end: scope:[]  from @3
 
+INITIAL SSA SYMBOL TABLE
+(label) @3
+(label) @begin
+(label) @end
+(byte[256]) SCREEN
+(byte[256]) SCREEN#0
+(byte[256]) SCREEN#1
+(byte[256]) SCREEN#2
+(byte[256]) SCREEN#3
+(byte) cnt
+(byte) cnt#0
+(byte) cnt#1
+(byte) cnt#10
+(byte) cnt#11
+(byte) cnt#12
+(byte) cnt#13
+(byte) cnt#14
+(byte) cnt#15
+(byte) cnt#2
+(byte) cnt#3
+(byte) cnt#4
+(byte) cnt#5
+(byte) cnt#6
+(byte) cnt#7
+(byte) cnt#8
+(byte) cnt#9
+(void()) inccnt()
+(label) inccnt::@return
+(void()) main()
+(label) main::@1
+(label) main::@2
+(label) main::@return
+
 Constant (byte) cnt#0 (byte) 0
 Constant (byte[256]) SCREEN#0 (word) 1024
 Succesful SSA optimization Pass2ConstantPropagation
@@ -418,6 +451,22 @@ inccnt::@return: scope:[inccnt]  from inccnt
   to:@return
 @end: scope:[]  from @begin
 
+FINAL SYMBOL TABLE
+(label) @begin
+(label) @end
+(byte[256]) SCREEN
+(byte) cnt
+(byte) cnt#1
+(byte) cnt#10
+(byte) cnt#13
+(byte) cnt#3
+(void()) inccnt()
+(label) inccnt::@return
+(void()) main()
+(label) main::@1
+(label) main::@2
+(label) main::@return
+
 Block Sequence Planned @begin @end main main::@1 main::@2 main::@return inccnt inccnt::@return 
 Block Sequence Planned @begin @end main main::@1 main::@2 main::@return inccnt inccnt::@return 
 CONTROL FLOW GRAPH - PHI LIFTED
@@ -554,9 +603,9 @@ Complete equivalence classes
 [ cnt#13 cnt#3 ]
 [ cnt#1 ]
 [ cnt#10 ]
-Allocated zp byte:2 to zp byte:2 [ cnt#13 cnt#3 ]
-Allocated zp byte:3 to zp byte:3 [ cnt#1 ]
-Allocated zp byte:4 to zp byte:4 [ cnt#10 ]
+Allocated zp byte:2 [ cnt#13 cnt#3 ]
+Allocated zp byte:3 [ cnt#1 ]
+Allocated zp byte:4 [ cnt#10 ]
 INITIAL ASM
 //SEG0 @begin
 bbegin:
diff --git a/src/main/java/dk/camelot64/kickc/test/ref/ptrtest.log b/src/main/java/dk/camelot64/kickc/test/ref/ptrtest.log
index 356ab93a2..ac8e85314 100644
--- a/src/main/java/dk/camelot64/kickc/test/ref/ptrtest.log
+++ b/src/main/java/dk/camelot64/kickc/test/ref/ptrtest.log
@@ -773,6 +773,89 @@ rvaluevar::@return: scope:[rvaluevar]  from rvaluevar::@1
   to:@return
 @end: scope:[]  from @6
 
+INITIAL SSA SYMBOL TABLE
+(label) @6
+(label) @begin
+(label) @end
+(void()) lvalue()
+(boolean~) lvalue::$0
+(label) lvalue::@1
+(label) lvalue::@2
+(label) lvalue::@return
+(byte[1024]) lvalue::SCREEN
+(byte[1024]) lvalue::SCREEN#0
+(byte[1024]) lvalue::SCREEN#1
+(byte[1024]) lvalue::SCREEN#2
+(byte) lvalue::i
+(byte) lvalue::i#0
+(byte) lvalue::i#1
+(byte) lvalue::i#2
+(byte) lvalue::i#3
+(void()) lvaluevar()
+(boolean~) lvaluevar::$0
+(label) lvaluevar::@1
+(label) lvaluevar::@2
+(label) lvaluevar::@return
+(byte) lvaluevar::b
+(byte) lvaluevar::b#0
+(byte) lvaluevar::b#1
+(byte) lvaluevar::b#2
+(byte) lvaluevar::i
+(byte) lvaluevar::i#0
+(byte) lvaluevar::i#1
+(byte) lvaluevar::i#2
+(byte) lvaluevar::i#3
+(byte*) lvaluevar::screen
+(byte*) lvaluevar::screen#0
+(byte*) lvaluevar::screen#1
+(byte*) lvaluevar::screen#2
+(byte*) lvaluevar::screen#3
+(void()) main()
+(label) main::@1
+(label) main::@2
+(label) main::@3
+(label) main::@4
+(label) main::@return
+(void()) rvalue()
+(byte~) rvalue::$0
+(byte~) rvalue::$1
+(boolean~) rvalue::$2
+(byte~) rvalue::$3
+(label) rvalue::@1
+(label) rvalue::@2
+(label) rvalue::@return
+(byte[1024]) rvalue::SCREEN
+(byte[1024]) rvalue::SCREEN#0
+(byte[1024]) rvalue::SCREEN#1
+(byte[1024]) rvalue::SCREEN#2
+(byte) rvalue::b
+(byte) rvalue::b#0
+(byte) rvalue::b#1
+(byte) rvalue::b#2
+(byte) rvalue::i
+(byte) rvalue::i#0
+(byte) rvalue::i#1
+(byte) rvalue::i#2
+(byte) rvalue::i#3
+(void()) rvaluevar()
+(boolean~) rvaluevar::$0
+(byte~) rvaluevar::$1
+(label) rvaluevar::@1
+(label) rvaluevar::@2
+(label) rvaluevar::@return
+(byte) rvaluevar::b
+(byte) rvaluevar::b#0
+(byte) rvaluevar::i
+(byte) rvaluevar::i#0
+(byte) rvaluevar::i#1
+(byte) rvaluevar::i#2
+(byte) rvaluevar::i#3
+(byte*) rvaluevar::screen
+(byte*) rvaluevar::screen#0
+(byte*) rvaluevar::screen#1
+(byte*) rvaluevar::screen#2
+(byte*) rvaluevar::screen#3
+
 Culled Empty Block (label) @6
 Culled Empty Block (label) main::@4
 Succesful SSA optimization Pass2CullEmptyBlocks
@@ -1471,6 +1554,58 @@ rvaluevar::@return: scope:[rvaluevar]  from rvaluevar::@1
 
 Multiple usages for variable. Not optimizing sub-constant (byte) rvalue::i#2
 Multiple usages for variable. Not optimizing sub-constant (byte) rvalue::i#2
+FINAL SYMBOL TABLE
+(label) @begin
+(label) @end
+(void()) lvalue()
+(label) lvalue::@1
+(label) lvalue::@2
+(label) lvalue::@return
+(byte[1024]) lvalue::SCREEN
+(byte) lvalue::i
+(byte) lvalue::i#1
+(byte) lvalue::i#2
+(void()) lvaluevar()
+(label) lvaluevar::@1
+(label) lvaluevar::@2
+(label) lvaluevar::@return
+(byte) lvaluevar::b
+(byte) lvaluevar::i
+(byte) lvaluevar::i#1
+(byte) lvaluevar::i#2
+(byte*) lvaluevar::screen
+(byte*) lvaluevar::screen#1
+(byte*) lvaluevar::screen#2
+(void()) main()
+(label) main::@1
+(label) main::@2
+(label) main::@3
+(label) main::@return
+(void()) rvalue()
+(label) rvalue::@1
+(label) rvalue::@2
+(label) rvalue::@return
+(byte[1024]) rvalue::SCREEN
+(byte) rvalue::b
+(byte) rvalue::b#0
+(byte) rvalue::b#1
+(byte) rvalue::b#2
+(byte) rvalue::i
+(byte) rvalue::i#1
+(byte) rvalue::i#2
+(void()) rvaluevar()
+(label) rvaluevar::@1
+(label) rvaluevar::@2
+(label) rvaluevar::@return
+(byte) rvaluevar::b
+(byte) rvaluevar::b#0
+(byte) rvaluevar::i
+(byte) rvaluevar::i#1
+(byte) rvaluevar::i#2
+(byte*) rvaluevar::screen
+(byte*) rvaluevar::screen#1
+(byte*) rvaluevar::screen#2
+
 Block Sequence Planned @begin @end main main::@1 main::@2 main::@3 main::@return lvaluevar lvaluevar::@1 lvaluevar::@return lvaluevar::@2 rvaluevar rvaluevar::@1 rvaluevar::@return rvaluevar::@2 rvalue rvalue::@1 rvalue::@return rvalue::@2 lvalue lvalue::@1 lvalue::@return lvalue::@2 
 Block Sequence Planned @begin @end main main::@1 main::@2 main::@3 main::@return lvaluevar lvaluevar::@1 lvaluevar::@return lvaluevar::@2 rvaluevar rvaluevar::@1 rvaluevar::@return rvaluevar::@2 rvalue rvalue::@1 rvalue::@return rvalue::@2 lvalue lvalue::@1 lvalue::@return lvalue::@2 
 CONTROL FLOW GRAPH - PHI LIFTED
@@ -1867,16 +2002,16 @@ Complete equivalence classes
 [ rvalue::b#0 ]
 [ rvalue::b#1 ]
 [ rvalue::b#2 ]
-Allocated zp byte:2 to zp byte:2 [ lvaluevar::i#2 lvaluevar::i#1 ]
-Allocated zp ptr byte:3 to zp ptr byte:3 [ lvaluevar::screen#2 lvaluevar::screen#1 ]
-Allocated zp byte:5 to zp byte:5 [ rvaluevar::i#2 rvaluevar::i#1 ]
-Allocated zp ptr byte:6 to zp ptr byte:6 [ rvaluevar::screen#2 rvaluevar::screen#1 ]
-Allocated zp byte:8 to zp byte:8 [ rvalue::i#2 rvalue::i#1 ]
-Allocated zp byte:9 to zp byte:9 [ lvalue::i#2 lvalue::i#1 ]
-Allocated zp byte:10 to zp byte:10 [ rvaluevar::b#0 ]
-Allocated zp byte:11 to zp byte:11 [ rvalue::b#0 ]
-Allocated zp byte:12 to zp byte:12 [ rvalue::b#1 ]
-Allocated zp byte:13 to zp byte:13 [ rvalue::b#2 ]
+Allocated zp byte:2 [ lvaluevar::i#2 lvaluevar::i#1 ]
+Allocated zp ptr byte:3 [ lvaluevar::screen#2 lvaluevar::screen#1 ]
+Allocated zp byte:5 [ rvaluevar::i#2 rvaluevar::i#1 ]
+Allocated zp ptr byte:6 [ rvaluevar::screen#2 rvaluevar::screen#1 ]
+Allocated zp byte:8 [ rvalue::i#2 rvalue::i#1 ]
+Allocated zp byte:9 [ lvalue::i#2 lvalue::i#1 ]
+Allocated zp byte:10 [ rvaluevar::b#0 ]
+Allocated zp byte:11 [ rvalue::b#0 ]
+Allocated zp byte:12 [ rvalue::b#1 ]
+Allocated zp byte:13 [ rvalue::b#2 ]
 INITIAL ASM
 //SEG0 @begin
 bbegin:
@@ -2115,7 +2250,7 @@ Uplifting [lvalue] best 1575 combination reg byte x [ lvalue::i#2 lvalue::i#1 ]
 Uplifting [main] best 1575 combination 
 Uplifting [] best 1575 combination 
 Coalescing zero page register [ zp ptr byte:3 [ lvaluevar::screen#2 lvaluevar::screen#1 ] ] with [ zp ptr byte:6 [ rvaluevar::screen#2 rvaluevar::screen#1 ] ]
-Re-allocated ZP register from zp ptr byte:3 to zp ptr byte:2
+Allocated (was zp ptr byte:3) zp ptr byte:2 [ lvaluevar::screen#2 lvaluevar::screen#1 rvaluevar::screen#2 rvaluevar::screen#1 ]
 Removing instruction jmp bend
 Removing instruction jmp b1
 Removing instruction jmp b2
diff --git a/src/main/java/dk/camelot64/kickc/test/ref/ptrtestmin.log b/src/main/java/dk/camelot64/kickc/test/ref/ptrtestmin.log
index 7a153310b..a0e24d40c 100644
--- a/src/main/java/dk/camelot64/kickc/test/ref/ptrtestmin.log
+++ b/src/main/java/dk/camelot64/kickc/test/ref/ptrtestmin.log
@@ -193,6 +193,28 @@ main::@return: scope:[main]  from main::@1
   to:@return
 @end: scope:[]  from @2
 
+INITIAL SSA SYMBOL TABLE
+(label) @2
+(label) @begin
+(label) @end
+(void()) main()
+(boolean~) main::$0
+(byte~) main::$1
+(label) main::@1
+(label) main::@2
+(label) main::@return
+(byte[1024]) main::SCREEN
+(byte[1024]) main::SCREEN#0
+(byte[1024]) main::SCREEN#1
+(byte[1024]) main::SCREEN#2
+(byte) main::b
+(byte) main::b#0
+(byte) main::i
+(byte) main::i#0
+(byte) main::i#1
+(byte) main::i#2
+(byte) main::i#3
+
 Culled Empty Block (label) @2
 Succesful SSA optimization Pass2CullEmptyBlocks
 CONTROL FLOW GRAPH
@@ -341,6 +363,20 @@ main::@return: scope:[main]  from main::@1
 
 Multiple usages for variable. Not optimizing sub-constant (byte) main::i#2
 Multiple usages for variable. Not optimizing sub-constant (byte) main::i#2
+FINAL SYMBOL TABLE
+(label) @begin
+(label) @end
+(void()) main()
+(label) main::@1
+(label) main::@2
+(label) main::@return
+(byte[1024]) main::SCREEN
+(byte) main::b
+(byte) main::b#0
+(byte) main::i
+(byte) main::i#1
+(byte) main::i#2
+
 Block Sequence Planned @begin @end main main::@1 main::@return main::@2 
 Block Sequence Planned @begin @end main main::@1 main::@return main::@2 
 CONTROL FLOW GRAPH - PHI LIFTED
@@ -448,8 +484,8 @@ Added variable main::b#0 to zero page equivalence class [ main::b#0 ]
 Complete equivalence classes
 [ main::i#2 main::i#1 ]
 [ main::b#0 ]
-Allocated zp byte:2 to zp byte:2 [ main::i#2 main::i#1 ]
-Allocated zp byte:3 to zp byte:3 [ main::b#0 ]
+Allocated zp byte:2 [ main::i#2 main::i#1 ]
+Allocated zp byte:3 [ main::b#0 ]
 INITIAL ASM
 //SEG0 @begin
 bbegin:
diff --git a/src/main/java/dk/camelot64/kickc/test/ref/summin.log b/src/main/java/dk/camelot64/kickc/test/ref/summin.log
index 0a9a99ac9..7c5d1bd4c 100644
--- a/src/main/java/dk/camelot64/kickc/test/ref/summin.log
+++ b/src/main/java/dk/camelot64/kickc/test/ref/summin.log
@@ -228,6 +228,52 @@ sum::@return: scope:[sum]  from sum
   to:@return
 @end: scope:[]  from @4
 
+INITIAL SSA SYMBOL TABLE
+(byte~) $0
+(byte~) $1
+(byte~) $2
+(byte~) $3
+(byte~) $4
+(label) @2
+(label) @3
+(label) @4
+(label) @begin
+(label) @end
+(byte) s1
+(byte) s1#0
+(byte) s1#1
+(byte) s1#2
+(byte) s2
+(byte) s2#0
+(byte) s2#1
+(byte) s3
+(byte) s3#0
+(byte) s4
+(byte) s4#0
+(byte()) sum((byte) sum::a , (byte) sum::b)
+(byte~) sum::$0
+(label) sum::@return
+(byte) sum::a
+(byte) sum::a#0
+(byte) sum::a#1
+(byte) sum::a#2
+(byte) sum::a#3
+(byte) sum::b
+(byte) sum::b#0
+(byte) sum::b#1
+(byte) sum::b#2
+(byte) sum::b#3
+(byte) sum::return
+(byte) sum::return#0
+(byte) sum::return#1
+(byte) sum::return#2
+(byte) sum::return#3
+(byte) sum::return#4
+(byte) sum::return#5
+(byte) sum::return#6
+(byte) sum::return#7
+(byte) sum::return#8
+
 Constant (byte) sum::a#0 (byte) 1
 Constant (byte) sum::b#0 (byte) 2
 Constant (byte) sum::a#1 (byte) 3
@@ -317,6 +363,30 @@ sum::@return: scope:[sum]  from sum
 Not aliassing across scopes: s1#0 sum::return#0
 Not aliassing across scopes: s2#0 sum::return#0
 Not aliassing across scopes: s3#0 sum::return#0
+FINAL SYMBOL TABLE
+(byte~) $3
+(label) @2
+(label) @3
+(label) @4
+(label) @begin
+(label) @end
+(byte) s1
+(byte) s1#0
+(byte) s2
+(byte) s2#0
+(byte) s3
+(byte) s3#0
+(byte) s4
+(byte) s4#0
+(byte()) sum((byte) sum::a , (byte) sum::b)
+(label) sum::@return
+(byte) sum::a
+(byte) sum::a#3
+(byte) sum::b
+(byte) sum::b#3
+(byte) sum::return
+(byte) sum::return#0
+
 Block Sequence Planned @begin @2 @3 @4 @end sum sum::@return 
 Block Sequence Planned @begin @2 @3 @4 @end sum sum::@return 
 CONTROL FLOW GRAPH - PHI LIFTED
@@ -488,14 +558,14 @@ Complete equivalence classes
 [ $3 ]
 [ s4#0 ]
 [ sum::return#0 ]
-Allocated zp byte:2 to zp byte:2 [ sum::a#3 ]
-Allocated zp byte:3 to zp byte:3 [ sum::b#3 ]
-Allocated zp byte:4 to zp byte:4 [ s1#0 ]
-Allocated zp byte:5 to zp byte:5 [ s2#0 ]
-Allocated zp byte:6 to zp byte:6 [ s3#0 ]
-Allocated zp byte:7 to zp byte:7 [ $3 ]
-Allocated zp byte:8 to zp byte:8 [ s4#0 ]
-Allocated zp byte:9 to zp byte:9 [ sum::return#0 ]
+Allocated zp byte:2 [ sum::a#3 ]
+Allocated zp byte:3 [ sum::b#3 ]
+Allocated zp byte:4 [ s1#0 ]
+Allocated zp byte:5 [ s2#0 ]
+Allocated zp byte:6 [ s3#0 ]
+Allocated zp byte:7 [ $3 ]
+Allocated zp byte:8 [ s4#0 ]
+Allocated zp byte:9 [ sum::return#0 ]
 INITIAL ASM
 //SEG0 @begin
 bbegin:
@@ -590,8 +660,8 @@ Uplift Scope [sum] 2: zp byte:2 [ sum::a#3 ] 2: zp byte:3 [ sum::b#3 ] 1.6: zp b
 
 Uplifting [] best 107 combination reg byte a [ s4#0 ] reg byte a [ $3 ] zp byte:6 [ s3#0 ] reg byte x [ s2#0 ] zp byte:4 [ s1#0 ] 
 Uplifting [sum] best 79 combination reg byte y [ sum::a#3 ] reg byte a [ sum::b#3 ] reg byte a [ sum::return#0 ] 
-Re-allocated ZP register from zp byte:4 to zp byte:2
-Re-allocated ZP register from zp byte:6 to zp byte:3
+Allocated (was zp byte:4) zp byte:2 [ s1#0 ]
+Allocated (was zp byte:6) zp byte:3 [ s3#0 ]
 Removing instruction jmp b2
 Removing instruction jmp b3
 Removing instruction jmp b4
diff --git a/src/main/java/dk/camelot64/kickc/test/ref/useglobal.log b/src/main/java/dk/camelot64/kickc/test/ref/useglobal.log
index f3c444853..dd38f82bc 100644
--- a/src/main/java/dk/camelot64/kickc/test/ref/useglobal.log
+++ b/src/main/java/dk/camelot64/kickc/test/ref/useglobal.log
@@ -98,6 +98,16 @@ main::@return: scope:[main]  from main
   to:@return
 @end: scope:[]  from @2
 
+INITIAL SSA SYMBOL TABLE
+(label) @2
+(label) @begin
+(label) @end
+(byte*) SCREEN
+(byte*) SCREEN#0
+(byte*) SCREEN#1
+(void()) main()
+(label) main::@return
+
 Culled Empty Block (label) @2
 Succesful SSA optimization Pass2CullEmptyBlocks
 CONTROL FLOW GRAPH
@@ -143,6 +153,13 @@ main::@return: scope:[main]  from main
   to:@return
 @end: scope:[]  from @begin
 
+FINAL SYMBOL TABLE
+(label) @begin
+(label) @end
+(byte*) SCREEN
+(void()) main()
+(label) main::@return
+
 Block Sequence Planned @begin @end main main::@return 
 Block Sequence Planned @begin @end main main::@return 
 CONTROL FLOW GRAPH - PHI LIFTED
diff --git a/src/main/java/dk/camelot64/kickc/test/ref/voronoi.asm b/src/main/java/dk/camelot64/kickc/test/ref/voronoi.asm
index b5378889f..2a74cebc8 100644
--- a/src/main/java/dk/camelot64/kickc/test/ref/voronoi.asm
+++ b/src/main/java/dk/camelot64/kickc/test/ref/voronoi.asm
@@ -123,7 +123,7 @@ render: {
     inc $5
     lda $5
     cmp #$28
-    bcc b2
+    bne b2
     lda $3
     clc
     adc #$28
@@ -134,7 +134,7 @@ render: {
     inc $2
     lda $2
     cmp #$19
-    bcc b1
+    bne b1
     rts
 }
 findcol: {
diff --git a/src/main/java/dk/camelot64/kickc/test/ref/voronoi.cfg b/src/main/java/dk/camelot64/kickc/test/ref/voronoi.cfg
index f386a1081..e79b95d04 100644
--- a/src/main/java/dk/camelot64/kickc/test/ref/voronoi.cfg
+++ b/src/main/java/dk/camelot64/kickc/test/ref/voronoi.cfg
@@ -114,12 +114,12 @@ render::@5: scope:[render]  from render::@2
   [56] (byte) render::col#0 ← (byte) findcol::return#0 [ render::x#2 render::y#2 render::colline#2 render::col#0 ]
   [57] *((byte*) render::colline#2 + (byte) render::x#2) ← (byte) render::col#0 [ render::x#2 render::y#2 render::colline#2 ]
   [58] (byte) render::x#1 ← ++ (byte) render::x#2 [ render::x#1 render::y#2 render::colline#2 ]
-  [59] if((byte) render::x#1<(byte) 40) goto render::@2 [ render::x#1 render::y#2 render::colline#2 ]
+  [59] if((byte) render::x#1!=(byte) 40) goto render::@2 [ render::x#1 render::y#2 render::colline#2 ]
   to:render::@3
 render::@3: scope:[render]  from render::@5
   [60] (byte*) render::colline#1 ← (byte*) render::colline#2 + (byte) 40 [ render::colline#1 render::y#2 ]
   [61] (byte) render::y#1 ← ++ (byte) render::y#2 [ render::y#1 render::colline#1 ]
-  [62] if((byte) render::y#1<(byte) 25) goto render::@1 [ render::y#1 render::colline#1 ]
+  [62] if((byte) render::y#1!=(byte) 25) goto render::@1 [ render::y#1 render::colline#1 ]
   to:render::@return
 render::@return: scope:[render]  from render::@3
   [63] return  [ ]
diff --git a/src/main/java/dk/camelot64/kickc/test/ref/voronoi.log b/src/main/java/dk/camelot64/kickc/test/ref/voronoi.log
index abaa69ef9..745cb24a8 100644
--- a/src/main/java/dk/camelot64/kickc/test/ref/voronoi.log
+++ b/src/main/java/dk/camelot64/kickc/test/ref/voronoi.log
@@ -63,30 +63,26 @@ void addpoint(byte x, byte y, byte c) {
 }
 
 void initscreen() {
-  byte* screen = SCREEN;
-  do {
+  for( byte* screen = SCREEN; screen<SCREEN+$03e8; ++screen) {
     *screen = FILL;
-  } while(++screen<SCREEN+$03e8)
+  }
 }
 
 void render() {
   byte* colline = COLORS;
-  byte y=0;
-  do {
-    byte x=0;
-    do {
+  for( byte y : 0.. 24) {
+    for( byte x : 0..39) {
       byte col = findcol(x, y);
       colline[x] = col;
-    } while(++x < 40)
+    }
     colline = colline+40;
-  } while(++y < 25)
+  }
 }
 
 byte findcol(byte x, byte y) {
   byte mindiff = 255;
   byte mincol = 0;
-  byte i=0;
-  do {
+  for( byte i=0; i<numpoints; ++i) {
      byte xp = XPOS[i];
      byte yp = YPOS[i];
      if(x==xp) {
@@ -109,7 +105,7 @@ byte findcol(byte x, byte y) {
        mindiff=diff;
        mincol = COLS[i];
      }
-  } while(++i<numpoints)
+  }
   return mincol;
 }
 
@@ -117,8 +113,6 @@ byte findcol(byte x, byte y) {
 
 Adding pre/post-modifier (byte) numpoints ← ++ (byte) numpoints
 Adding pre/post-modifier (byte*) initscreen::screen ← ++ (byte*) initscreen::screen
-Adding pre/post-modifier (byte) render::x ← ++ (byte) render::x
-Adding pre/post-modifier (byte) render::y ← ++ (byte) render::y
 Adding pre/post-modifier (byte) findcol::i ← ++ (byte) findcol::i
 PROGRAM
   (byte*) SCREEN ← (word) 1024
@@ -233,12 +227,12 @@ render::@2:
   (byte) render::col ← (byte~) render::$0
   *((byte*) render::colline + (byte) render::x) ← (byte) render::col
   (byte) render::x ← ++ (byte) render::x
-  (boolean~) render::$1 ← (byte) render::x < (byte) 40
+  (boolean~) render::$1 ← (byte) render::x != (byte) 40
   if((boolean~) render::$1) goto render::@2
   (byte*~) render::$2 ← (byte*) render::colline + (byte) 40
   (byte*) render::colline ← (byte*~) render::$2
   (byte) render::y ← ++ (byte) render::y
-  (boolean~) render::$3 ← (byte) render::y < (byte) 25
+  (boolean~) render::$3 ← (byte) render::y != (byte) 25
   if((boolean~) render::$3) goto render::@1
 render::@return:
   return 
@@ -578,14 +572,14 @@ render::@2: scope:[render]  from render::@1 render::@2
   (byte) render::col ← (byte~) render::$0
   *((byte*) render::colline + (byte) render::x) ← (byte) render::col
   (byte) render::x ← ++ (byte) render::x
-  (boolean~) render::$1 ← (byte) render::x < (byte) 40
+  (boolean~) render::$1 ← (byte) render::x != (byte) 40
   if((boolean~) render::$1) goto render::@2
   to:render::@3
 render::@3: scope:[render]  from render::@2
   (byte*~) render::$2 ← (byte*) render::colline + (byte) 40
   (byte*) render::colline ← (byte*~) render::$2
   (byte) render::y ← ++ (byte) render::y
-  (boolean~) render::$3 ← (byte) render::y < (byte) 25
+  (boolean~) render::$3 ← (byte) render::y != (byte) 25
   if((boolean~) render::$3) goto render::@1
   to:render::@4
 render::@4: scope:[render]  from render::@3
@@ -835,14 +829,14 @@ render::@2: scope:[render]  from render::@1 render::@2
   (byte) render::col ← (byte~) render::$0
   *((byte*) render::colline + (byte) render::x) ← (byte) render::col
   (byte) render::x ← ++ (byte) render::x
-  (boolean~) render::$1 ← (byte) render::x < (byte) 40
+  (boolean~) render::$1 ← (byte) render::x != (byte) 40
   if((boolean~) render::$1) goto render::@2
   to:render::@3
 render::@3: scope:[render]  from render::@2
   (byte*~) render::$2 ← (byte*) render::colline + (byte) 40
   (byte*) render::colline ← (byte*~) render::$2
   (byte) render::y ← ++ (byte) render::y
-  (boolean~) render::$3 ← (byte) render::y < (byte) 25
+  (boolean~) render::$3 ← (byte) render::y != (byte) 25
   if((boolean~) render::$3) goto render::@1
   to:render::@return
 render::@return: scope:[render]  from render::@3
@@ -1121,14 +1115,14 @@ render::@5: scope:[render]  from render::@2
   (byte) render::col ← (byte~) render::$0
   *((byte*) render::colline + (byte) render::x) ← (byte) render::col
   (byte) render::x ← ++ (byte) render::x
-  (boolean~) render::$1 ← (byte) render::x < (byte) 40
+  (boolean~) render::$1 ← (byte) render::x != (byte) 40
   if((boolean~) render::$1) goto render::@2
   to:render::@3
 render::@3: scope:[render]  from render::@5
   (byte*~) render::$2 ← (byte*) render::colline + (byte) 40
   (byte*) render::colline ← (byte*~) render::$2
   (byte) render::y ← ++ (byte) render::y
-  (boolean~) render::$3 ← (byte) render::y < (byte) 25
+  (boolean~) render::$3 ← (byte) render::y != (byte) 25
   if((boolean~) render::$3) goto render::@1
   to:render::@return
 render::@return: scope:[render]  from render::@3
@@ -1548,7 +1542,7 @@ render::@5: scope:[render]  from render::@2
   (byte) render::col#0 ← (byte~) render::$0
   *((byte*) render::colline#2 + (byte) render::x#3) ← (byte) render::col#0
   (byte) render::x#1 ← ++ (byte) render::x#3
-  (boolean~) render::$1 ← (byte) render::x#1 < (byte) 40
+  (boolean~) render::$1 ← (byte) render::x#1 != (byte) 40
   if((boolean~) render::$1) goto render::@2
   to:render::@3
 render::@3: scope:[render]  from render::@5
@@ -1561,7 +1555,7 @@ render::@3: scope:[render]  from render::@5
   (byte*~) render::$2 ← (byte*) render::colline#3 + (byte) 40
   (byte*) render::colline#1 ← (byte*~) render::$2
   (byte) render::y#1 ← ++ (byte) render::y#3
-  (boolean~) render::$3 ← (byte) render::y#1 < (byte) 25
+  (boolean~) render::$3 ← (byte) render::y#1 != (byte) 25
   if((boolean~) render::$3) goto render::@1
   to:render::@return
 render::@return: scope:[render]  from render::@3
@@ -2100,7 +2094,7 @@ render::@5: scope:[render]  from render::@2
   (byte) render::col#0 ← (byte~) render::$0
   *((byte*) render::colline#2 + (byte) render::x#3) ← (byte) render::col#0
   (byte) render::x#1 ← ++ (byte) render::x#3
-  (boolean~) render::$1 ← (byte) render::x#1 < (byte) 40
+  (boolean~) render::$1 ← (byte) render::x#1 != (byte) 40
   if((boolean~) render::$1) goto render::@2
   to:render::@3
 render::@3: scope:[render]  from render::@5
@@ -2113,7 +2107,7 @@ render::@3: scope:[render]  from render::@5
   (byte*~) render::$2 ← (byte*) render::colline#3 + (byte) 40
   (byte*) render::colline#1 ← (byte*~) render::$2
   (byte) render::y#1 ← ++ (byte) render::y#3
-  (boolean~) render::$3 ← (byte) render::y#1 < (byte) 25
+  (boolean~) render::$3 ← (byte) render::y#1 != (byte) 25
   if((boolean~) render::$3) goto render::@1
   to:render::@return
 render::@return: scope:[render]  from render::@3
@@ -2327,6 +2321,477 @@ findcol::@17: scope:[findcol]  from findcol::@8
   to:findcol::@return
 @end: scope:[]  from @7
 
+INITIAL SSA SYMBOL TABLE
+(label) @7
+(label) @begin
+(label) @end
+(byte*) COLORS
+(byte*) COLORS#0
+(byte*) COLORS#1
+(byte*) COLORS#10
+(byte*) COLORS#11
+(byte*) COLORS#12
+(byte*) COLORS#2
+(byte*) COLORS#3
+(byte*) COLORS#4
+(byte*) COLORS#5
+(byte*) COLORS#6
+(byte*) COLORS#7
+(byte*) COLORS#8
+(byte*) COLORS#9
+(byte[256]) COLS
+(byte[256]) COLS#0
+(byte[256]) COLS#1
+(byte[256]) COLS#10
+(byte[256]) COLS#11
+(byte[256]) COLS#12
+(byte[256]) COLS#13
+(byte[256]) COLS#14
+(byte[256]) COLS#15
+(byte[256]) COLS#16
+(byte[256]) COLS#17
+(byte[256]) COLS#18
+(byte[256]) COLS#19
+(byte[256]) COLS#2
+(byte[256]) COLS#20
+(byte[256]) COLS#21
+(byte[256]) COLS#22
+(byte[256]) COLS#23
+(byte[256]) COLS#24
+(byte[256]) COLS#25
+(byte[256]) COLS#26
+(byte[256]) COLS#27
+(byte[256]) COLS#28
+(byte[256]) COLS#29
+(byte[256]) COLS#3
+(byte[256]) COLS#30
+(byte[256]) COLS#4
+(byte[256]) COLS#5
+(byte[256]) COLS#6
+(byte[256]) COLS#7
+(byte[256]) COLS#8
+(byte[256]) COLS#9
+(byte) FILL
+(byte) FILL#0
+(byte) FILL#1
+(byte) FILL#2
+(byte) FILL#3
+(byte) FILL#4
+(byte) FILL#5
+(byte) FILL#6
+(byte) FILL#7
+(byte) FILL#8
+(byte) FILL#9
+(byte*) SCREEN
+(byte*) SCREEN#0
+(byte*) SCREEN#1
+(byte*) SCREEN#2
+(byte*) SCREEN#3
+(byte*) SCREEN#4
+(byte*) SCREEN#5
+(byte*) SCREEN#6
+(byte*) SCREEN#7
+(byte*) SCREEN#8
+(byte*) SCREEN#9
+(byte[256]) XPOS
+(byte[256]) XPOS#0
+(byte[256]) XPOS#1
+(byte[256]) XPOS#10
+(byte[256]) XPOS#11
+(byte[256]) XPOS#12
+(byte[256]) XPOS#13
+(byte[256]) XPOS#14
+(byte[256]) XPOS#15
+(byte[256]) XPOS#16
+(byte[256]) XPOS#17
+(byte[256]) XPOS#18
+(byte[256]) XPOS#19
+(byte[256]) XPOS#2
+(byte[256]) XPOS#20
+(byte[256]) XPOS#21
+(byte[256]) XPOS#22
+(byte[256]) XPOS#23
+(byte[256]) XPOS#24
+(byte[256]) XPOS#25
+(byte[256]) XPOS#26
+(byte[256]) XPOS#27
+(byte[256]) XPOS#28
+(byte[256]) XPOS#29
+(byte[256]) XPOS#3
+(byte[256]) XPOS#30
+(byte[256]) XPOS#31
+(byte[256]) XPOS#32
+(byte[256]) XPOS#33
+(byte[256]) XPOS#34
+(byte[256]) XPOS#35
+(byte[256]) XPOS#36
+(byte[256]) XPOS#37
+(byte[256]) XPOS#38
+(byte[256]) XPOS#39
+(byte[256]) XPOS#4
+(byte[256]) XPOS#40
+(byte[256]) XPOS#41
+(byte[256]) XPOS#5
+(byte[256]) XPOS#6
+(byte[256]) XPOS#7
+(byte[256]) XPOS#8
+(byte[256]) XPOS#9
+(byte[256]) YPOS
+(byte[256]) YPOS#0
+(byte[256]) YPOS#1
+(byte[256]) YPOS#10
+(byte[256]) YPOS#11
+(byte[256]) YPOS#12
+(byte[256]) YPOS#13
+(byte[256]) YPOS#14
+(byte[256]) YPOS#15
+(byte[256]) YPOS#16
+(byte[256]) YPOS#17
+(byte[256]) YPOS#18
+(byte[256]) YPOS#19
+(byte[256]) YPOS#2
+(byte[256]) YPOS#20
+(byte[256]) YPOS#21
+(byte[256]) YPOS#22
+(byte[256]) YPOS#23
+(byte[256]) YPOS#24
+(byte[256]) YPOS#25
+(byte[256]) YPOS#26
+(byte[256]) YPOS#27
+(byte[256]) YPOS#28
+(byte[256]) YPOS#29
+(byte[256]) YPOS#3
+(byte[256]) YPOS#30
+(byte[256]) YPOS#31
+(byte[256]) YPOS#32
+(byte[256]) YPOS#33
+(byte[256]) YPOS#34
+(byte[256]) YPOS#35
+(byte[256]) YPOS#36
+(byte[256]) YPOS#37
+(byte[256]) YPOS#38
+(byte[256]) YPOS#39
+(byte[256]) YPOS#4
+(byte[256]) YPOS#40
+(byte[256]) YPOS#5
+(byte[256]) YPOS#6
+(byte[256]) YPOS#7
+(byte[256]) YPOS#8
+(byte[256]) YPOS#9
+(void()) addpoint((byte) addpoint::x , (byte) addpoint::y , (byte) addpoint::c)
+(label) addpoint::@return
+(byte) addpoint::c
+(byte) addpoint::c#0
+(byte) addpoint::c#1
+(byte) addpoint::c#2
+(byte) addpoint::c#3
+(byte) addpoint::c#4
+(byte) addpoint::c#5
+(byte) addpoint::c#6
+(byte) addpoint::x
+(byte) addpoint::x#0
+(byte) addpoint::x#1
+(byte) addpoint::x#2
+(byte) addpoint::x#3
+(byte) addpoint::x#4
+(byte) addpoint::x#5
+(byte) addpoint::x#6
+(byte) addpoint::y
+(byte) addpoint::y#0
+(byte) addpoint::y#1
+(byte) addpoint::y#2
+(byte) addpoint::y#3
+(byte) addpoint::y#4
+(byte) addpoint::y#5
+(byte) addpoint::y#6
+(void()) animate()
+(byte~) animate::$0
+(byte~) animate::$1
+(byte~) animate::$10
+(byte~) animate::$11
+(byte~) animate::$12
+(boolean~) animate::$13
+(boolean~) animate::$14
+(byte~) animate::$15
+(byte~) animate::$16
+(byte~) animate::$17
+(boolean~) animate::$18
+(boolean~) animate::$19
+(byte~) animate::$2
+(byte~) animate::$20
+(byte~) animate::$21
+(byte~) animate::$22
+(boolean~) animate::$23
+(boolean~) animate::$24
+(byte~) animate::$25
+(byte~) animate::$26
+(byte~) animate::$27
+(boolean~) animate::$28
+(boolean~) animate::$29
+(boolean~) animate::$3
+(byte~) animate::$30
+(byte~) animate::$31
+(boolean~) animate::$4
+(byte~) animate::$5
+(byte~) animate::$6
+(byte~) animate::$7
+(boolean~) animate::$8
+(boolean~) animate::$9
+(label) animate::@1
+(label) animate::@10
+(label) animate::@11
+(label) animate::@12
+(label) animate::@2
+(label) animate::@3
+(label) animate::@4
+(label) animate::@5
+(label) animate::@6
+(label) animate::@7
+(label) animate::@8
+(label) animate::@9
+(label) animate::@return
+(byte()) findcol((byte) findcol::x , (byte) findcol::y)
+(byte~) findcol::$0
+(byte~) findcol::$1
+(boolean~) findcol::$10
+(boolean~) findcol::$11
+(byte~) findcol::$12
+(byte~) findcol::$13
+(byte~) findcol::$14
+(byte~) findcol::$15
+(boolean~) findcol::$16
+(boolean~) findcol::$17
+(byte~) findcol::$18
+(boolean~) findcol::$19
+(boolean~) findcol::$2
+(boolean~) findcol::$3
+(boolean~) findcol::$4
+(boolean~) findcol::$5
+(boolean~) findcol::$6
+(boolean~) findcol::$7
+(byte~) findcol::$8
+(byte~) findcol::$9
+(label) findcol::@1
+(label) findcol::@10
+(label) findcol::@12
+(label) findcol::@14
+(label) findcol::@16
+(label) findcol::@17
+(label) findcol::@2
+(label) findcol::@3
+(label) findcol::@4
+(label) findcol::@5
+(label) findcol::@6
+(label) findcol::@7
+(label) findcol::@8
+(label) findcol::@9
+(label) findcol::@return
+(byte) findcol::diff
+(byte) findcol::diff#0
+(byte) findcol::diff#1
+(byte) findcol::diff#2
+(byte) findcol::diff#3
+(byte) findcol::diff#4
+(byte) findcol::diff#5
+(byte) findcol::diff#6
+(byte) findcol::diff#7
+(byte) findcol::diff#8
+(byte) findcol::i
+(byte) findcol::i#0
+(byte) findcol::i#1
+(byte) findcol::i#10
+(byte) findcol::i#11
+(byte) findcol::i#12
+(byte) findcol::i#13
+(byte) findcol::i#2
+(byte) findcol::i#3
+(byte) findcol::i#4
+(byte) findcol::i#5
+(byte) findcol::i#6
+(byte) findcol::i#7
+(byte) findcol::i#8
+(byte) findcol::i#9
+(byte) findcol::mincol
+(byte) findcol::mincol#0
+(byte) findcol::mincol#1
+(byte) findcol::mincol#10
+(byte) findcol::mincol#11
+(byte) findcol::mincol#12
+(byte) findcol::mincol#13
+(byte) findcol::mincol#2
+(byte) findcol::mincol#3
+(byte) findcol::mincol#4
+(byte) findcol::mincol#5
+(byte) findcol::mincol#6
+(byte) findcol::mincol#7
+(byte) findcol::mincol#8
+(byte) findcol::mincol#9
+(byte) findcol::mindiff
+(byte) findcol::mindiff#0
+(byte) findcol::mindiff#1
+(byte) findcol::mindiff#10
+(byte) findcol::mindiff#11
+(byte) findcol::mindiff#12
+(byte) findcol::mindiff#2
+(byte) findcol::mindiff#3
+(byte) findcol::mindiff#4
+(byte) findcol::mindiff#5
+(byte) findcol::mindiff#6
+(byte) findcol::mindiff#7
+(byte) findcol::mindiff#8
+(byte) findcol::mindiff#9
+(byte) findcol::return
+(byte) findcol::return#0
+(byte) findcol::return#1
+(byte) findcol::return#2
+(byte) findcol::return#3
+(byte) findcol::return#4
+(byte) findcol::return#5
+(byte) findcol::x
+(byte) findcol::x#0
+(byte) findcol::x#1
+(byte) findcol::x#10
+(byte) findcol::x#11
+(byte) findcol::x#12
+(byte) findcol::x#13
+(byte) findcol::x#2
+(byte) findcol::x#3
+(byte) findcol::x#4
+(byte) findcol::x#5
+(byte) findcol::x#6
+(byte) findcol::x#7
+(byte) findcol::x#8
+(byte) findcol::x#9
+(byte) findcol::xp
+(byte) findcol::xp#0
+(byte) findcol::xp#1
+(byte) findcol::xp#2
+(byte) findcol::xp#3
+(byte) findcol::xp#4
+(byte) findcol::xp#5
+(byte) findcol::y
+(byte) findcol::y#0
+(byte) findcol::y#1
+(byte) findcol::y#10
+(byte) findcol::y#11
+(byte) findcol::y#12
+(byte) findcol::y#13
+(byte) findcol::y#2
+(byte) findcol::y#3
+(byte) findcol::y#4
+(byte) findcol::y#5
+(byte) findcol::y#6
+(byte) findcol::y#7
+(byte) findcol::y#8
+(byte) findcol::y#9
+(byte) findcol::yp
+(byte) findcol::yp#0
+(byte) findcol::yp#1
+(byte) findcol::yp#2
+(byte) findcol::yp#3
+(byte) findcol::yp#4
+(byte) findcol::yp#5
+(byte) findcol::yp#6
+(byte) findcol::yp#7
+(byte) findcol::yp#8
+(void()) initscreen()
+(byte*~) initscreen::$0
+(boolean~) initscreen::$1
+(label) initscreen::@1
+(label) initscreen::@return
+(byte*) initscreen::screen
+(byte*) initscreen::screen#0
+(byte*) initscreen::screen#1
+(byte*) initscreen::screen#2
+(void()) main()
+(label) main::@1
+(label) main::@10
+(label) main::@11
+(label) main::@3
+(label) main::@4
+(label) main::@5
+(label) main::@6
+(label) main::@7
+(label) main::@8
+(label) main::@9
+(label) main::@return
+(byte) numpoints
+(byte) numpoints#0
+(byte) numpoints#1
+(byte) numpoints#10
+(byte) numpoints#11
+(byte) numpoints#12
+(byte) numpoints#13
+(byte) numpoints#14
+(byte) numpoints#15
+(byte) numpoints#16
+(byte) numpoints#17
+(byte) numpoints#18
+(byte) numpoints#19
+(byte) numpoints#2
+(byte) numpoints#20
+(byte) numpoints#21
+(byte) numpoints#22
+(byte) numpoints#23
+(byte) numpoints#24
+(byte) numpoints#25
+(byte) numpoints#26
+(byte) numpoints#27
+(byte) numpoints#28
+(byte) numpoints#29
+(byte) numpoints#3
+(byte) numpoints#30
+(byte) numpoints#31
+(byte) numpoints#32
+(byte) numpoints#33
+(byte) numpoints#34
+(byte) numpoints#35
+(byte) numpoints#36
+(byte) numpoints#37
+(byte) numpoints#38
+(byte) numpoints#39
+(byte) numpoints#4
+(byte) numpoints#40
+(byte) numpoints#41
+(byte) numpoints#42
+(byte) numpoints#43
+(byte) numpoints#5
+(byte) numpoints#6
+(byte) numpoints#7
+(byte) numpoints#8
+(byte) numpoints#9
+(void()) render()
+(byte~) render::$0
+(boolean~) render::$1
+(byte*~) render::$2
+(boolean~) render::$3
+(label) render::@1
+(label) render::@2
+(label) render::@3
+(label) render::@5
+(label) render::@return
+(byte) render::col
+(byte) render::col#0
+(byte*) render::colline
+(byte*) render::colline#0
+(byte*) render::colline#1
+(byte*) render::colline#2
+(byte*) render::colline#3
+(byte*) render::colline#4
+(byte*) render::colline#5
+(byte) render::x
+(byte) render::x#0
+(byte) render::x#1
+(byte) render::x#2
+(byte) render::x#3
+(byte) render::y
+(byte) render::y#0
+(byte) render::y#1
+(byte) render::y#2
+(byte) render::y#3
+(byte) render::y#4
+(byte) render::y#5
+
 Culled Empty Block (label) animate::@5
 Culled Empty Block (label) animate::@6
 Succesful SSA optimization Pass2CullEmptyBlocks
@@ -2651,7 +3116,7 @@ render::@5: scope:[render]  from render::@2
   (byte) render::col#0 ← (byte~) render::$0
   *((byte*) render::colline#2 + (byte) render::x#3) ← (byte) render::col#0
   (byte) render::x#1 ← ++ (byte) render::x#3
-  (boolean~) render::$1 ← (byte) render::x#1 < (byte) 40
+  (boolean~) render::$1 ← (byte) render::x#1 != (byte) 40
   if((boolean~) render::$1) goto render::@2
   to:render::@3
 render::@3: scope:[render]  from render::@5
@@ -2664,7 +3129,7 @@ render::@3: scope:[render]  from render::@5
   (byte*~) render::$2 ← (byte*) render::colline#3 + (byte) 40
   (byte*) render::colline#1 ← (byte*~) render::$2
   (byte) render::y#1 ← ++ (byte) render::y#3
-  (boolean~) render::$3 ← (byte) render::y#1 < (byte) 25
+  (boolean~) render::$3 ← (byte) render::y#1 != (byte) 25
   if((boolean~) render::$3) goto render::@1
   to:render::@return
 render::@return: scope:[render]  from render::@3
@@ -3204,7 +3669,7 @@ render::@5: scope:[render]  from render::@2
   (byte) render::col#0 ← (byte~) render::$0
   *((byte*) render::colline#2 + (byte) render::x#3) ← (byte) render::col#0
   (byte) render::x#1 ← ++ (byte) render::x#3
-  (boolean~) render::$1 ← (byte) render::x#1 < (byte) 40
+  (boolean~) render::$1 ← (byte) render::x#1 != (byte) 40
   if((boolean~) render::$1) goto render::@2
   to:render::@3
 render::@3: scope:[render]  from render::@5
@@ -3217,7 +3682,7 @@ render::@3: scope:[render]  from render::@5
   (byte*~) render::$2 ← (byte*) render::colline#3 + (byte) 40
   (byte*) render::colline#1 ← (byte*~) render::$2
   (byte) render::y#1 ← ++ (byte) render::y#3
-  (boolean~) render::$3 ← (byte) render::y#1 < (byte) 25
+  (boolean~) render::$3 ← (byte) render::y#1 != (byte) 25
   if((boolean~) render::$3) goto render::@1
   to:render::@return
 render::@return: scope:[render]  from render::@3
@@ -3728,7 +4193,7 @@ render::@5: scope:[render]  from render::@2
   (byte) render::col#0 ← (byte~) render::$0
   *((byte*) render::colline#2 + (byte) render::x#3) ← (byte) render::col#0
   (byte) render::x#1 ← ++ (byte) render::x#3
-  (boolean~) render::$1 ← (byte) render::x#1 < (byte) 40
+  (boolean~) render::$1 ← (byte) render::x#1 != (byte) 40
   if((boolean~) render::$1) goto render::@2
   to:render::@3
 render::@3: scope:[render]  from render::@5
@@ -3741,7 +4206,7 @@ render::@3: scope:[render]  from render::@5
   (byte*~) render::$2 ← (byte*) render::colline#3 + (byte) 40
   (byte*) render::colline#1 ← (byte*~) render::$2
   (byte) render::y#1 ← ++ (byte) render::y#3
-  (boolean~) render::$3 ← (byte) render::y#1 < (byte) 25
+  (boolean~) render::$3 ← (byte) render::y#1 != (byte) 25
   if((boolean~) render::$3) goto render::@1
   to:render::@return
 render::@return: scope:[render]  from render::@3
@@ -4220,13 +4685,13 @@ render::@5: scope:[render]  from render::@2
   (byte) render::col#0 ← (byte) findcol::return#0
   *((byte*) render::colline#2 + (byte) render::x#2) ← (byte) render::col#0
   (byte) render::x#1 ← ++ (byte) render::x#2
-  (boolean~) render::$1 ← (byte) render::x#1 < (byte) 40
+  (boolean~) render::$1 ← (byte) render::x#1 != (byte) 40
   if((boolean~) render::$1) goto render::@2
   to:render::@3
 render::@3: scope:[render]  from render::@5
   (byte*) render::colline#1 ← (byte*) render::colline#2 + (byte) 40
   (byte) render::y#1 ← ++ (byte) render::y#2
-  (boolean~) render::$3 ← (byte) render::y#1 < (byte) 25
+  (boolean~) render::$3 ← (byte) render::y#1 != (byte) 25
   if((boolean~) render::$3) goto render::@1
   to:render::@return
 render::@return: scope:[render]  from render::@3
@@ -4567,13 +5032,13 @@ render::@5: scope:[render]  from render::@2
   (byte) render::col#0 ← (byte) findcol::return#0
   *((byte*) render::colline#2 + (byte) render::x#2) ← (byte) render::col#0
   (byte) render::x#1 ← ++ (byte) render::x#2
-  (boolean~) render::$1 ← (byte) render::x#1 < (byte) 40
+  (boolean~) render::$1 ← (byte) render::x#1 != (byte) 40
   if((boolean~) render::$1) goto render::@2
   to:render::@3
 render::@3: scope:[render]  from render::@5
   (byte*) render::colline#1 ← (byte*) render::colline#2 + (byte) 40
   (byte) render::y#1 ← ++ (byte) render::y#2
-  (boolean~) render::$3 ← (byte) render::y#1 < (byte) 25
+  (boolean~) render::$3 ← (byte) render::y#1 != (byte) 25
   if((boolean~) render::$3) goto render::@1
   to:render::@return
 render::@return: scope:[render]  from render::@3
@@ -4841,13 +5306,13 @@ render::@5: scope:[render]  from render::@2
   (byte) render::col#0 ← (byte) findcol::return#0
   *((byte*) render::colline#2 + (byte) render::x#2) ← (byte) render::col#0
   (byte) render::x#1 ← ++ (byte) render::x#2
-  (boolean~) render::$1 ← (byte) render::x#1 < (byte) 40
+  (boolean~) render::$1 ← (byte) render::x#1 != (byte) 40
   if((boolean~) render::$1) goto render::@2
   to:render::@3
 render::@3: scope:[render]  from render::@5
   (byte*) render::colline#1 ← (byte*) render::colline#2 + (byte) 40
   (byte) render::y#1 ← ++ (byte) render::y#2
-  (boolean~) render::$3 ← (byte) render::y#1 < (byte) 25
+  (boolean~) render::$3 ← (byte) render::y#1 != (byte) 25
   if((boolean~) render::$3) goto render::@1
   to:render::@return
 render::@return: scope:[render]  from render::@3
@@ -4931,8 +5396,8 @@ Simple Condition (boolean~) animate::$19 if((byte~) animate::$17!=(byte) 25) got
 Simple Condition (boolean~) animate::$24 if((byte~) animate::$22!=(byte) 255) goto animate::@return
 Simple Condition (boolean~) animate::$29 if((byte~) animate::$27<(byte) 40) goto animate::@return
 Simple Condition (boolean~) initscreen::$1 if((byte*) initscreen::screen#1<(byte*~) initscreen::$0) goto initscreen::@1
-Simple Condition (boolean~) render::$1 if((byte) render::x#1<(byte) 40) goto render::@2
-Simple Condition (boolean~) render::$3 if((byte) render::y#1<(byte) 25) goto render::@1
+Simple Condition (boolean~) render::$1 if((byte) render::x#1!=(byte) 40) goto render::@2
+Simple Condition (boolean~) render::$3 if((byte) render::y#1!=(byte) 25) goto render::@1
 Simple Condition (boolean~) findcol::$3 if((byte) findcol::x#1!=(byte) findcol::xp#0) goto findcol::@2
 Simple Condition (boolean~) findcol::$7 if((byte) findcol::x#1>=(byte) findcol::xp#0) goto findcol::@4
 Simple Condition (boolean~) findcol::$5 if((byte) findcol::y#1!=(byte) findcol::yp#0) goto findcol::@3
@@ -5104,12 +5569,12 @@ render::@5: scope:[render]  from render::@2
   (byte) render::col#0 ← (byte) findcol::return#0
   *((byte*) render::colline#2 + (byte) render::x#2) ← (byte) render::col#0
   (byte) render::x#1 ← ++ (byte) render::x#2
-  if((byte) render::x#1<(byte) 40) goto render::@2
+  if((byte) render::x#1!=(byte) 40) goto render::@2
   to:render::@3
 render::@3: scope:[render]  from render::@5
   (byte*) render::colline#1 ← (byte*) render::colline#2 + (byte) 40
   (byte) render::y#1 ← ++ (byte) render::y#2
-  if((byte) render::y#1<(byte) 25) goto render::@1
+  if((byte) render::y#1!=(byte) 25) goto render::@1
   to:render::@return
 render::@return: scope:[render]  from render::@3
   return 
@@ -5345,12 +5810,12 @@ render::@5: scope:[render]  from render::@2
   (byte) render::col#0 ← (byte) findcol::return#0
   *((byte*) render::colline#2 + (byte) render::x#2) ← (byte) render::col#0
   (byte) render::x#1 ← ++ (byte) render::x#2
-  if((byte) render::x#1<(byte) 40) goto render::@2
+  if((byte) render::x#1!=(byte) 40) goto render::@2
   to:render::@3
 render::@3: scope:[render]  from render::@5
   (byte*) render::colline#1 ← (byte*) render::colline#2 + (byte) 40
   (byte) render::y#1 ← ++ (byte) render::y#2
-  if((byte) render::y#1<(byte) 25) goto render::@1
+  if((byte) render::y#1!=(byte) 25) goto render::@1
   to:render::@return
 render::@return: scope:[render]  from render::@3
   return 
@@ -5575,12 +6040,12 @@ render::@5: scope:[render]  from render::@2
   (byte) render::col#0 ← (byte) findcol::return#0
   *((byte*) render::colline#2 + (byte) render::x#2) ← (byte) render::col#0
   (byte) render::x#1 ← ++ (byte) render::x#2
-  if((byte) render::x#1<(byte) 40) goto render::@2
+  if((byte) render::x#1!=(byte) 40) goto render::@2
   to:render::@3
 render::@3: scope:[render]  from render::@5
   (byte*) render::colline#1 ← (byte*) render::colline#2 + (byte) 40
   (byte) render::y#1 ← ++ (byte) render::y#2
-  if((byte) render::y#1<(byte) 25) goto render::@1
+  if((byte) render::y#1!=(byte) 25) goto render::@1
   to:render::@return
 render::@return: scope:[render]  from render::@3
   return 
@@ -5823,12 +6288,12 @@ render::@5: scope:[render]  from render::@2
   (byte) render::col#0 ← (byte) findcol::return#0
   *((byte*) render::colline#2 + (byte) render::x#2) ← (byte) render::col#0
   (byte) render::x#1 ← ++ (byte) render::x#2
-  if((byte) render::x#1<(byte) 40) goto render::@2
+  if((byte) render::x#1!=(byte) 40) goto render::@2
   to:render::@3
 render::@3: scope:[render]  from render::@5
   (byte*) render::colline#1 ← (byte*) render::colline#2 + (byte) 40
   (byte) render::y#1 ← ++ (byte) render::y#2
-  if((byte) render::y#1<(byte) 25) goto render::@1
+  if((byte) render::y#1!=(byte) 25) goto render::@1
   to:render::@return
 render::@return: scope:[render]  from render::@3
   return 
@@ -6051,12 +6516,12 @@ render::@5: scope:[render]  from render::@2
   (byte) render::col#0 ← (byte) findcol::return#0
   *((byte*) render::colline#2 + (byte) render::x#2) ← (byte) render::col#0
   (byte) render::x#1 ← ++ (byte) render::x#2
-  if((byte) render::x#1<(byte) 40) goto render::@2
+  if((byte) render::x#1!=(byte) 40) goto render::@2
   to:render::@3
 render::@3: scope:[render]  from render::@5
   (byte*) render::colline#1 ← (byte*) render::colline#2 + (byte) 40
   (byte) render::y#1 ← ++ (byte) render::y#2
-  if((byte) render::y#1<(byte) 25) goto render::@1
+  if((byte) render::y#1!=(byte) 25) goto render::@1
   to:render::@return
 render::@return: scope:[render]  from render::@3
   return 
@@ -6265,12 +6730,12 @@ render::@5: scope:[render]  from render::@2
   (byte) render::col#0 ← (byte) findcol::return#0
   *((byte*) render::colline#2 + (byte) render::x#2) ← (byte) render::col#0
   (byte) render::x#1 ← ++ (byte) render::x#2
-  if((byte) render::x#1<(byte) 40) goto render::@2
+  if((byte) render::x#1!=(byte) 40) goto render::@2
   to:render::@3
 render::@3: scope:[render]  from render::@5
   (byte*) render::colline#1 ← (byte*) render::colline#2 + (byte) 40
   (byte) render::y#1 ← ++ (byte) render::y#2
-  if((byte) render::y#1<(byte) 25) goto render::@1
+  if((byte) render::y#1!=(byte) 25) goto render::@1
   to:render::@return
 render::@return: scope:[render]  from render::@3
   return 
@@ -6475,12 +6940,12 @@ render::@5: scope:[render]  from render::@2
   (byte) render::col#0 ← (byte) findcol::return#0
   *((byte*) render::colline#2 + (byte) render::x#2) ← (byte) render::col#0
   (byte) render::x#1 ← ++ (byte) render::x#2
-  if((byte) render::x#1<(byte) 40) goto render::@2
+  if((byte) render::x#1!=(byte) 40) goto render::@2
   to:render::@3
 render::@3: scope:[render]  from render::@5
   (byte*) render::colline#1 ← (byte*) render::colline#2 + (byte) 40
   (byte) render::y#1 ← ++ (byte) render::y#2
-  if((byte) render::y#1<(byte) 25) goto render::@1
+  if((byte) render::y#1!=(byte) 25) goto render::@1
   to:render::@return
 render::@return: scope:[render]  from render::@3
   return 
@@ -6686,12 +7151,12 @@ render::@5: scope:[render]  from render::@2
   (byte) render::col#0 ← (byte) findcol::return#0
   *((byte*) render::colline#2 + (byte) render::x#2) ← (byte) render::col#0
   (byte) render::x#1 ← ++ (byte) render::x#2
-  if((byte) render::x#1<(byte) 40) goto render::@2
+  if((byte) render::x#1!=(byte) 40) goto render::@2
   to:render::@3
 render::@3: scope:[render]  from render::@5
   (byte*) render::colline#1 ← (byte*) render::colline#2 + (byte) 40
   (byte) render::y#1 ← ++ (byte) render::y#2
-  if((byte) render::y#1<(byte) 25) goto render::@1
+  if((byte) render::y#1!=(byte) 25) goto render::@1
   to:render::@return
 render::@return: scope:[render]  from render::@3
   return 
@@ -6755,6 +7220,135 @@ Multiple usages for variable. Not optimizing sub-constant (byte) findcol::i#12
 Not aliassing across scopes: findcol::x#0 render::x#2
 Not aliassing across scopes: findcol::y#0 render::y#2
 Not aliassing across scopes: render::col#0 findcol::return#0
+FINAL SYMBOL TABLE
+(label) @begin
+(label) @end
+(byte*) COLORS
+(byte[256]) COLS
+(byte) FILL
+(byte*) SCREEN
+(byte[256]) XPOS
+(byte[256]) YPOS
+(void()) addpoint((byte) addpoint::x , (byte) addpoint::y , (byte) addpoint::c)
+(label) addpoint::@return
+(byte) addpoint::c
+(byte) addpoint::c#6
+(byte) addpoint::x
+(byte) addpoint::x#6
+(byte) addpoint::y
+(byte) addpoint::y#6
+(void()) animate()
+(byte~) animate::$0
+(byte~) animate::$1
+(byte~) animate::$10
+(byte~) animate::$11
+(byte~) animate::$12
+(byte~) animate::$15
+(byte~) animate::$16
+(byte~) animate::$17
+(byte~) animate::$2
+(byte~) animate::$20
+(byte~) animate::$21
+(byte~) animate::$22
+(byte~) animate::$25
+(byte~) animate::$26
+(byte~) animate::$27
+(byte~) animate::$30
+(byte~) animate::$31
+(byte~) animate::$5
+(byte~) animate::$6
+(byte~) animate::$7
+(label) animate::@1
+(label) animate::@10
+(label) animate::@11
+(label) animate::@12
+(label) animate::@2
+(label) animate::@3
+(label) animate::@4
+(label) animate::@7
+(label) animate::@8
+(label) animate::@9
+(label) animate::@return
+(byte()) findcol((byte) findcol::x , (byte) findcol::y)
+(byte~) findcol::$12
+(byte~) findcol::$14
+(label) findcol::@1
+(label) findcol::@12
+(label) findcol::@14
+(label) findcol::@16
+(label) findcol::@2
+(label) findcol::@4
+(label) findcol::@5
+(label) findcol::@6
+(label) findcol::@7
+(label) findcol::@8
+(label) findcol::@9
+(label) findcol::@return
+(byte) findcol::diff
+(byte) findcol::diff#0
+(byte) findcol::diff#1
+(byte) findcol::diff#2
+(byte) findcol::diff#3
+(byte) findcol::diff#4
+(byte) findcol::diff#6
+(byte) findcol::i
+(byte) findcol::i#1
+(byte) findcol::i#12
+(byte) findcol::mincol
+(byte) findcol::mincol#1
+(byte) findcol::mincol#11
+(byte) findcol::mincol#2
+(byte) findcol::mindiff
+(byte) findcol::mindiff#10
+(byte) findcol::mindiff#11
+(byte) findcol::return
+(byte) findcol::return#0
+(byte) findcol::x
+(byte) findcol::x#0
+(byte) findcol::xp
+(byte) findcol::xp#0
+(byte) findcol::y
+(byte) findcol::y#0
+(byte) findcol::yp
+(byte) findcol::yp#0
+(void()) initscreen()
+(label) initscreen::@1
+(label) initscreen::@return
+(byte*) initscreen::screen
+(byte*) initscreen::screen#1
+(byte*) initscreen::screen#2
+(void()) main()
+(label) main::@1
+(label) main::@10
+(label) main::@11
+(label) main::@3
+(label) main::@4
+(label) main::@5
+(label) main::@6
+(label) main::@7
+(label) main::@8
+(label) main::@return
+(byte) numpoints
+(byte) numpoints#1
+(byte) numpoints#19
+(void()) render()
+(label) render::@1
+(label) render::@2
+(label) render::@3
+(label) render::@5
+(label) render::@return
+(byte) render::col
+(byte) render::col#0
+(byte*) render::colline
+(byte*) render::colline#1
+(byte*) render::colline#2
+(byte) render::x
+(byte) render::x#1
+(byte) render::x#2
+(byte) render::y
+(byte) render::y#1
+(byte) render::y#2
+
 Block Sequence Planned @begin @end main main::@3 main::@4 main::@5 main::@6 main::@7 main::@8 main::@1 main::@10 main::@11 main::@return animate animate::@7 animate::@1 animate::@8 animate::@2 animate::@9 animate::@3 animate::@10 animate::@4 animate::@11 animate::@12 animate::@return render render::@1 render::@2 render::@5 render::@3 render::@return findcol findcol::@1 findcol::@9 findcol::@return findcol::@2 findcol::@12 findcol::@5 findcol::@14 findcol::@7 findcol::@16 findcol::@8 findcol::@6 findcol::@4 initscreen initscreen::@1 initscreen::@return addpoint addpoint::@return 
 Added new block during phi lifting render::@6(between render::@3 and render::@1)
 Added new block during phi lifting render::@7(between render::@5 and render::@2)
@@ -6885,12 +7479,12 @@ render::@5: scope:[render]  from render::@2
   (byte) render::col#0 ← (byte) findcol::return#0
   *((byte*) render::colline#2 + (byte) render::x#2) ← (byte) render::col#0
   (byte) render::x#1 ← ++ (byte) render::x#2
-  if((byte) render::x#1<(byte) 40) goto render::@7
+  if((byte) render::x#1!=(byte) 40) goto render::@7
   to:render::@3
 render::@3: scope:[render]  from render::@5
   (byte*) render::colline#1 ← (byte*) render::colline#2 + (byte) 40
   (byte) render::y#1 ← ++ (byte) render::y#2
-  if((byte) render::y#1<(byte) 25) goto render::@6
+  if((byte) render::y#1!=(byte) 25) goto render::@6
   to:render::@return
 render::@return: scope:[render]  from render::@3
   return 
@@ -7172,12 +7766,12 @@ render::@5: scope:[render]  from render::@2
   [61] (byte) render::col#0 ← (byte) findcol::return#0 [ render::x#2 render::y#2 render::colline#2 render::col#0 ]
   [62] *((byte*) render::colline#2 + (byte) render::x#2) ← (byte) render::col#0 [ render::x#2 render::y#2 render::colline#2 ]
   [63] (byte) render::x#1 ← ++ (byte) render::x#2 [ render::y#2 render::colline#2 render::x#1 ]
-  [64] if((byte) render::x#1<(byte) 40) goto render::@7 [ render::y#2 render::colline#2 render::x#1 ]
+  [64] if((byte) render::x#1!=(byte) 40) goto render::@7 [ render::y#2 render::colline#2 render::x#1 ]
   to:render::@3
 render::@3: scope:[render]  from render::@5
   [65] (byte*) render::colline#1 ← (byte*) render::colline#2 + (byte) 40 [ render::y#2 render::colline#1 ]
   [66] (byte) render::y#1 ← ++ (byte) render::y#2 [ render::y#1 render::colline#1 ]
-  [67] if((byte) render::y#1<(byte) 25) goto render::@6 [ render::y#1 render::colline#1 ]
+  [67] if((byte) render::y#1!=(byte) 25) goto render::@6 [ render::y#1 render::colline#1 ]
   to:render::@return
 render::@return: scope:[render]  from render::@3
   [68] return  [ ]
@@ -7466,12 +8060,12 @@ render::@5: scope:[render]  from render::@2
   [56] (byte) render::col#0 ← (byte) findcol::return#0 [ render::x#2 render::y#2 render::colline#2 render::col#0 ]
   [57] *((byte*) render::colline#2 + (byte) render::x#2) ← (byte) render::col#0 [ render::x#2 render::y#2 render::colline#2 ]
   [58] (byte) render::x#1 ← ++ (byte) render::x#2 [ render::x#1 render::y#2 render::colline#2 ]
-  [59] if((byte) render::x#1<(byte) 40) goto render::@2 [ render::x#1 render::y#2 render::colline#2 ]
+  [59] if((byte) render::x#1!=(byte) 40) goto render::@2 [ render::x#1 render::y#2 render::colline#2 ]
   to:render::@3
 render::@3: scope:[render]  from render::@5
   [60] (byte*) render::colline#1 ← (byte*) render::colline#2 + (byte) 40 [ render::colline#1 render::y#2 ]
   [61] (byte) render::y#1 ← ++ (byte) render::y#2 [ render::y#1 render::colline#1 ]
-  [62] if((byte) render::y#1<(byte) 25) goto render::@1 [ render::y#1 render::colline#1 ]
+  [62] if((byte) render::y#1!=(byte) 25) goto render::@1 [ render::y#1 render::colline#1 ]
   to:render::@return
 render::@return: scope:[render]  from render::@3
   [63] return  [ ]
@@ -7823,46 +8417,46 @@ Complete equivalence classes
 [ findcol::yp#0 ]
 [ findcol::$12 ]
 [ findcol::$14 ]
-Allocated zp byte:2 to zp byte:2 [ render::y#2 render::y#1 ]
-Allocated zp ptr byte:3 to zp ptr byte:3 [ render::colline#2 render::colline#1 ]
-Allocated zp byte:5 to zp byte:5 [ render::x#2 render::x#1 ]
-Allocated zp byte:6 to zp byte:6 [ findcol::i#12 findcol::i#1 ]
-Allocated zp byte:7 to zp byte:7 [ findcol::mindiff#10 findcol::mindiff#13 ]
-Allocated zp byte:8 to zp byte:8 [ findcol::return#0 findcol::mincol#11 findcol::mincol#2 findcol::mincol#1 ]
-Allocated zp byte:9 to zp byte:9 [ findcol::diff#4 findcol::diff#1 findcol::diff#0 ]
-Allocated zp byte:10 to zp byte:10 [ findcol::mindiff#11 findcol::diff#6 findcol::diff#3 findcol::diff#2 findcol::mindiff#14 ]
-Allocated zp ptr byte:11 to zp ptr byte:11 [ initscreen::screen#2 initscreen::screen#1 ]
-Allocated zp byte:13 to zp byte:13 [ addpoint::x#6 ]
-Allocated zp byte:14 to zp byte:14 [ numpoints#19 numpoints#1 ]
-Allocated zp byte:15 to zp byte:15 [ addpoint::y#6 ]
-Allocated zp byte:16 to zp byte:16 [ addpoint::c#6 ]
-Allocated zp byte:17 to zp byte:17 [ animate::$0 ]
-Allocated zp byte:18 to zp byte:18 [ animate::$1 ]
-Allocated zp byte:19 to zp byte:19 [ animate::$2 ]
-Allocated zp byte:20 to zp byte:20 [ animate::$5 ]
-Allocated zp byte:21 to zp byte:21 [ animate::$6 ]
-Allocated zp byte:22 to zp byte:22 [ animate::$7 ]
-Allocated zp byte:23 to zp byte:23 [ animate::$10 ]
-Allocated zp byte:24 to zp byte:24 [ animate::$11 ]
-Allocated zp byte:25 to zp byte:25 [ animate::$12 ]
-Allocated zp byte:26 to zp byte:26 [ animate::$15 ]
-Allocated zp byte:27 to zp byte:27 [ animate::$16 ]
-Allocated zp byte:28 to zp byte:28 [ animate::$17 ]
-Allocated zp byte:29 to zp byte:29 [ animate::$20 ]
-Allocated zp byte:30 to zp byte:30 [ animate::$21 ]
-Allocated zp byte:31 to zp byte:31 [ animate::$22 ]
-Allocated zp byte:32 to zp byte:32 [ animate::$25 ]
-Allocated zp byte:33 to zp byte:33 [ animate::$26 ]
-Allocated zp byte:34 to zp byte:34 [ animate::$27 ]
-Allocated zp byte:35 to zp byte:35 [ animate::$30 ]
-Allocated zp byte:36 to zp byte:36 [ animate::$31 ]
-Allocated zp byte:37 to zp byte:37 [ findcol::x#0 ]
-Allocated zp byte:38 to zp byte:38 [ findcol::y#0 ]
-Allocated zp byte:39 to zp byte:39 [ render::col#0 ]
-Allocated zp byte:40 to zp byte:40 [ findcol::xp#0 ]
-Allocated zp byte:41 to zp byte:41 [ findcol::yp#0 ]
-Allocated zp byte:42 to zp byte:42 [ findcol::$12 ]
-Allocated zp byte:43 to zp byte:43 [ findcol::$14 ]
+Allocated zp byte:2 [ render::y#2 render::y#1 ]
+Allocated zp ptr byte:3 [ render::colline#2 render::colline#1 ]
+Allocated zp byte:5 [ render::x#2 render::x#1 ]
+Allocated zp byte:6 [ findcol::i#12 findcol::i#1 ]
+Allocated zp byte:7 [ findcol::mindiff#10 findcol::mindiff#13 ]
+Allocated zp byte:8 [ findcol::return#0 findcol::mincol#11 findcol::mincol#2 findcol::mincol#1 ]
+Allocated zp byte:9 [ findcol::diff#4 findcol::diff#1 findcol::diff#0 ]
+Allocated zp byte:10 [ findcol::mindiff#11 findcol::diff#6 findcol::diff#3 findcol::diff#2 findcol::mindiff#14 ]
+Allocated zp ptr byte:11 [ initscreen::screen#2 initscreen::screen#1 ]
+Allocated zp byte:13 [ addpoint::x#6 ]
+Allocated zp byte:14 [ numpoints#19 numpoints#1 ]
+Allocated zp byte:15 [ addpoint::y#6 ]
+Allocated zp byte:16 [ addpoint::c#6 ]
+Allocated zp byte:17 [ animate::$0 ]
+Allocated zp byte:18 [ animate::$1 ]
+Allocated zp byte:19 [ animate::$2 ]
+Allocated zp byte:20 [ animate::$5 ]
+Allocated zp byte:21 [ animate::$6 ]
+Allocated zp byte:22 [ animate::$7 ]
+Allocated zp byte:23 [ animate::$10 ]
+Allocated zp byte:24 [ animate::$11 ]
+Allocated zp byte:25 [ animate::$12 ]
+Allocated zp byte:26 [ animate::$15 ]
+Allocated zp byte:27 [ animate::$16 ]
+Allocated zp byte:28 [ animate::$17 ]
+Allocated zp byte:29 [ animate::$20 ]
+Allocated zp byte:30 [ animate::$21 ]
+Allocated zp byte:31 [ animate::$22 ]
+Allocated zp byte:32 [ animate::$25 ]
+Allocated zp byte:33 [ animate::$26 ]
+Allocated zp byte:34 [ animate::$27 ]
+Allocated zp byte:35 [ animate::$30 ]
+Allocated zp byte:36 [ animate::$31 ]
+Allocated zp byte:37 [ findcol::x#0 ]
+Allocated zp byte:38 [ findcol::y#0 ]
+Allocated zp byte:39 [ render::col#0 ]
+Allocated zp byte:40 [ findcol::xp#0 ]
+Allocated zp byte:41 [ findcol::yp#0 ]
+Allocated zp byte:42 [ findcol::$12 ]
+Allocated zp byte:43 [ findcol::$14 ]
 INITIAL ASM
 //SEG0 @begin
 bbegin:
@@ -8224,10 +8818,10 @@ render: {
     sta ($3),y
   //SEG125 [58] (byte) render::x#1 ← ++ (byte) render::x#2 [ render::x#1 render::y#2 render::colline#2 ] -- zpby1=_inc_zpby1 
     inc $5
-  //SEG126 [59] if((byte) render::x#1<(byte) 40) goto render::@2 [ render::x#1 render::y#2 render::colline#2 ] -- zpby1_lt_coby1_then_la1 
+  //SEG126 [59] if((byte) render::x#1!=(byte) 40) goto render::@2 [ render::x#1 render::y#2 render::colline#2 ] -- zpby1_neq_coby1_then_la1 
     lda $5
     cmp #$28
-    bcc b2_from_b5
+    bne b2_from_b5
     jmp b3
   //SEG127 render::@3
   b3:
@@ -8241,10 +8835,10 @@ render: {
   !:
   //SEG129 [61] (byte) render::y#1 ← ++ (byte) render::y#2 [ render::y#1 render::colline#1 ] -- zpby1=_inc_zpby1 
     inc $2
-  //SEG130 [62] if((byte) render::y#1<(byte) 25) goto render::@1 [ render::y#1 render::colline#1 ] -- zpby1_lt_coby1_then_la1 
+  //SEG130 [62] if((byte) render::y#1!=(byte) 25) goto render::@1 [ render::y#1 render::colline#1 ] -- zpby1_neq_coby1_then_la1 
     lda $2
     cmp #$19
-    bcc b1_from_b3
+    bne b1_from_b3
     jmp breturn
   //SEG131 render::@return
   breturn:
@@ -8603,12 +9197,12 @@ Uplifting remains [reg byte a [ animate::$31 ]] best 1720363 combination reg byt
 Coalescing zero page register [ zp byte:2 [ render::y#2 render::y#1 ] ] with [ zp byte:16 [ addpoint::c#6 ] ]
 Coalescing zero page register [ zp ptr byte:3 [ render::colline#2 render::colline#1 ] ] with [ zp ptr byte:11 [ initscreen::screen#2 initscreen::screen#1 ] ]
 Coalescing zero page register [ zp byte:9 [ findcol::diff#4 findcol::diff#1 findcol::diff#0 ] ] with [ zp byte:40 [ findcol::xp#0 ] ]
-Re-allocated ZP register from zp byte:7 to zp byte:6
-Re-allocated ZP register from zp byte:9 to zp byte:7
-Re-allocated ZP register from zp byte:14 to zp byte:8
-Re-allocated ZP register from zp byte:37 to zp byte:9
-Re-allocated ZP register from zp byte:38 to zp byte:10
-Re-allocated ZP register from zp byte:41 to zp byte:11
+Allocated (was zp byte:7) zp byte:6 [ findcol::mindiff#10 findcol::mindiff#13 ]
+Allocated (was zp byte:9) zp byte:7 [ findcol::diff#4 findcol::diff#1 findcol::diff#0 findcol::xp#0 ]
+Allocated (was zp byte:14) zp byte:8 [ numpoints#19 numpoints#1 ]
+Allocated (was zp byte:37) zp byte:9 [ findcol::x#0 ]
+Allocated (was zp byte:38) zp byte:10 [ findcol::y#0 ]
+Allocated (was zp byte:41) zp byte:11 [ findcol::yp#0 ]
 Removing instruction jmp bend
 Removing instruction jmp b3
 Removing instruction jmp b4
@@ -8929,10 +9523,10 @@ render: {
     sta ($3),y
   //SEG125 [58] (byte) render::x#1 ← ++ (byte) render::x#2 [ render::x#1 render::y#2 render::colline#2 ] -- zpby1=_inc_zpby1 
     inc $5
-  //SEG126 [59] if((byte) render::x#1<(byte) 40) goto render::@2 [ render::x#1 render::y#2 render::colline#2 ] -- zpby1_lt_coby1_then_la1 
+  //SEG126 [59] if((byte) render::x#1!=(byte) 40) goto render::@2 [ render::x#1 render::y#2 render::colline#2 ] -- zpby1_neq_coby1_then_la1 
     lda $5
     cmp #$28
-    bcc b2_from_b5
+    bne b2_from_b5
   //SEG127 render::@3
   b3:
   //SEG128 [60] (byte*) render::colline#1 ← (byte*) render::colline#2 + (byte) 40 [ render::colline#1 render::y#2 ] -- zpptrby1=zpptrby1_plus_coby1 
@@ -8945,10 +9539,10 @@ render: {
   !:
   //SEG129 [61] (byte) render::y#1 ← ++ (byte) render::y#2 [ render::y#1 render::colline#1 ] -- zpby1=_inc_zpby1 
     inc $2
-  //SEG130 [62] if((byte) render::y#1<(byte) 25) goto render::@1 [ render::y#1 render::colline#1 ] -- zpby1_lt_coby1_then_la1 
+  //SEG130 [62] if((byte) render::y#1!=(byte) 25) goto render::@1 [ render::y#1 render::colline#1 ] -- zpby1_neq_coby1_then_la1 
     lda $2
     cmp #$19
-    bcc b1_from_b3
+    bne b1_from_b3
   //SEG131 render::@return
   breturn:
   //SEG132 [63] return  [ ]
@@ -9441,10 +10035,10 @@ render: {
     sta ($3),y
   //SEG125 [58] (byte) render::x#1 ← ++ (byte) render::x#2 [ render::x#1 render::y#2 render::colline#2 ] -- zpby1=_inc_zpby1 
     inc $5
-  //SEG126 [59] if((byte) render::x#1<(byte) 40) goto render::@2 [ render::x#1 render::y#2 render::colline#2 ] -- zpby1_lt_coby1_then_la1 
+  //SEG126 [59] if((byte) render::x#1!=(byte) 40) goto render::@2 [ render::x#1 render::y#2 render::colline#2 ] -- zpby1_neq_coby1_then_la1 
     lda $5
     cmp #$28
-    bcc b2
+    bne b2
   //SEG127 render::@3
   b3:
   //SEG128 [60] (byte*) render::colline#1 ← (byte*) render::colline#2 + (byte) 40 [ render::colline#1 render::y#2 ] -- zpptrby1=zpptrby1_plus_coby1 
@@ -9457,10 +10051,10 @@ render: {
   !:
   //SEG129 [61] (byte) render::y#1 ← ++ (byte) render::y#2 [ render::y#1 render::colline#1 ] -- zpby1=_inc_zpby1 
     inc $2
-  //SEG130 [62] if((byte) render::y#1<(byte) 25) goto render::@1 [ render::y#1 render::colline#1 ] -- zpby1_lt_coby1_then_la1 
+  //SEG130 [62] if((byte) render::y#1!=(byte) 25) goto render::@1 [ render::y#1 render::colline#1 ] -- zpby1_neq_coby1_then_la1 
     lda $2
     cmp #$19
-    bcc b1
+    bne b1
   //SEG131 render::@return
   breturn:
   //SEG132 [63] return  [ ]
@@ -9949,10 +10543,10 @@ render: {
     sta ($3),y
   //SEG125 [58] (byte) render::x#1 ← ++ (byte) render::x#2 [ render::x#1 render::y#2 render::colline#2 ] -- zpby1=_inc_zpby1 
     inc $5
-  //SEG126 [59] if((byte) render::x#1<(byte) 40) goto render::@2 [ render::x#1 render::y#2 render::colline#2 ] -- zpby1_lt_coby1_then_la1 
+  //SEG126 [59] if((byte) render::x#1!=(byte) 40) goto render::@2 [ render::x#1 render::y#2 render::colline#2 ] -- zpby1_neq_coby1_then_la1 
     lda $5
     cmp #$28
-    bcc b2
+    bne b2
   //SEG127 render::@3
   //SEG128 [60] (byte*) render::colline#1 ← (byte*) render::colline#2 + (byte) 40 [ render::colline#1 render::y#2 ] -- zpptrby1=zpptrby1_plus_coby1 
     lda $3
@@ -9964,10 +10558,10 @@ render: {
   !:
   //SEG129 [61] (byte) render::y#1 ← ++ (byte) render::y#2 [ render::y#1 render::colline#1 ] -- zpby1=_inc_zpby1 
     inc $2
-  //SEG130 [62] if((byte) render::y#1<(byte) 25) goto render::@1 [ render::y#1 render::colline#1 ] -- zpby1_lt_coby1_then_la1 
+  //SEG130 [62] if((byte) render::y#1!=(byte) 25) goto render::@1 [ render::y#1 render::colline#1 ] -- zpby1_neq_coby1_then_la1 
     lda $2
     cmp #$19
-    bcc b1
+    bne b1
   //SEG131 render::@return
   //SEG132 [63] return  [ ]
     rts
@@ -10406,10 +11000,10 @@ render: {
     sta ($3),y
   //SEG125 [58] (byte) render::x#1 ← ++ (byte) render::x#2 [ render::x#1 render::y#2 render::colline#2 ] -- zpby1=_inc_zpby1 
     inc $5
-  //SEG126 [59] if((byte) render::x#1<(byte) 40) goto render::@2 [ render::x#1 render::y#2 render::colline#2 ] -- zpby1_lt_coby1_then_la1 
+  //SEG126 [59] if((byte) render::x#1!=(byte) 40) goto render::@2 [ render::x#1 render::y#2 render::colline#2 ] -- zpby1_neq_coby1_then_la1 
     lda $5
     cmp #$28
-    bcc b2
+    bne b2
   //SEG127 render::@3
   //SEG128 [60] (byte*) render::colline#1 ← (byte*) render::colline#2 + (byte) 40 [ render::colline#1 render::y#2 ] -- zpptrby1=zpptrby1_plus_coby1 
     lda $3
@@ -10421,10 +11015,10 @@ render: {
   !:
   //SEG129 [61] (byte) render::y#1 ← ++ (byte) render::y#2 [ render::y#1 render::colline#1 ] -- zpby1=_inc_zpby1 
     inc $2
-  //SEG130 [62] if((byte) render::y#1<(byte) 25) goto render::@1 [ render::y#1 render::colline#1 ] -- zpby1_lt_coby1_then_la1 
+  //SEG130 [62] if((byte) render::y#1!=(byte) 25) goto render::@1 [ render::y#1 render::colline#1 ] -- zpby1_neq_coby1_then_la1 
     lda $2
     cmp #$19
-    bcc b1
+    bne b1
   //SEG131 render::@return
   //SEG132 [63] return  [ ]
     rts
@@ -11029,10 +11623,10 @@ render: {
     sta ($3),y
   //SEG125 [58] (byte) render::x#1 ← ++ (byte) render::x#2 [ render::x#1 render::y#2 render::colline#2 ] -- zpby1=_inc_zpby1 
     inc $5
-  //SEG126 [59] if((byte) render::x#1<(byte) 40) goto render::@2 [ render::x#1 render::y#2 render::colline#2 ] -- zpby1_lt_coby1_then_la1 
+  //SEG126 [59] if((byte) render::x#1!=(byte) 40) goto render::@2 [ render::x#1 render::y#2 render::colline#2 ] -- zpby1_neq_coby1_then_la1 
     lda $5
     cmp #$28
-    bcc b2
+    bne b2
   //SEG127 render::@3
   //SEG128 [60] (byte*) render::colline#1 ← (byte*) render::colline#2 + (byte) 40 [ render::colline#1 render::y#2 ] -- zpptrby1=zpptrby1_plus_coby1 
     lda $3
@@ -11044,10 +11638,10 @@ render: {
   !:
   //SEG129 [61] (byte) render::y#1 ← ++ (byte) render::y#2 [ render::y#1 render::colline#1 ] -- zpby1=_inc_zpby1 
     inc $2
-  //SEG130 [62] if((byte) render::y#1<(byte) 25) goto render::@1 [ render::y#1 render::colline#1 ] -- zpby1_lt_coby1_then_la1 
+  //SEG130 [62] if((byte) render::y#1!=(byte) 25) goto render::@1 [ render::y#1 render::colline#1 ] -- zpby1_neq_coby1_then_la1 
     lda $2
     cmp #$19
-    bcc b1
+    bne b1
   //SEG131 render::@return
   //SEG132 [63] return  [ ]
     rts
diff --git a/src/main/java/dk/camelot64/kickc/test/voronoi.kc b/src/main/java/dk/camelot64/kickc/test/voronoi.kc
index 9deb8a1a2..3b4e85776 100644
--- a/src/main/java/dk/camelot64/kickc/test/voronoi.kc
+++ b/src/main/java/dk/camelot64/kickc/test/voronoi.kc
@@ -63,30 +63,26 @@ void addpoint(byte x, byte y, byte c) {
 }
 
 void initscreen() {
-  byte* screen = SCREEN;
-  do {
+  for( byte* screen = SCREEN; screen<SCREEN+$03e8; ++screen) {
     *screen = FILL;
-  } while(++screen<SCREEN+$03e8)
+  }
 }
 
 void render() {
   byte* colline = COLORS;
-  byte y=0;
-  do {
-    byte x=0;
-    do {
+  for( byte y : 0.. 24) {
+    for( byte x : 0..39) {
       byte col = findcol(x, y);
       colline[x] = col;
-    } while(++x < 40)
+    }
     colline = colline+40;
-  } while(++y < 25)
+  }
 }
 
 byte findcol(byte x, byte y) {
   byte mindiff = 255;
   byte mincol = 0;
-  byte i=0;
-  do {
+  for( byte i=0; i<numpoints; ++i) {
      byte xp = XPOS[i];
      byte yp = YPOS[i];
      if(x==xp) {
@@ -109,7 +105,7 @@ byte findcol(byte x, byte y) {
        mindiff=diff;
        mincol = COLS[i];
      }
-  } while(++i<numpoints)
+  }
   return mincol;
 }