anchor.diff:              return res
           }
   
  -    let genAlloca targetName type' : State<Value, Environment> = 
  -        state {
  -            let lhs = sprintf "%c%s" '%' targetName
  +    let genAlloca (targetName:string) type' : State<Value, Environment> = 
  +        state {
  +            let lhs = if targetName.StartsWith("%_") then // only prepend % when targetName is named e.g. "x"
  +                        targetName
  +                      else
  +                        sprintf "%c%s" '%' targetName
               let code = sprintf "alloca %s" type'
               let lhsType = sprintf "%s*" type'
   
  
positive.code:         | Receive (msgName, msgType, body) -> 
            // TODO: lige nu gør vi ikke det rigtige ved receive. Vi genererer bare for body. SKal vi ikke gøre mere?
            internalCodeGen body
          | ForIn (counterName, list, body) -> 
            state {
                // idxCounter = 0
                let! idxCounterReg = freshReg
                let idxCounterLValue = {identity = SimpleIdentifier "a"; isMutable = true; primitiveType = SimplePrimitive Int}
                //let! (idxCounterVal, idxCounterType,) = internalCodeGen (Initialisation (idxCounterLValue, Constant (SimplePrimitive Int, PrimitiveValue.Int 0)))
  
                // counterName = defaultValue list
  
                
  
                // label:start
                //do! genLabel "label1" 
  
                // assign list[idxCounter] to counterName
  
  
                // i++
                // gen body
                // if i == length(list) - 1 then it is finished. Else jump to label:start
                return ("","", "")
            }
          | ListRange (contents, pType) -> 
            state {
  
negative.code:               match id with
                | SimpleIdentifier str -> 
                  let! regName = freshReg
                  let toLoadName = str
                  let! toLoadType = findRegister toLoadName
                  let! loadedValue = genLoad regName toLoadType toLoadName
                  return loadedValue
            }
          | Function (funcName, arguments, types, body) -> 
  