anchor.diff:                  c <- binaryResult >= 0
                   setV binaryResult value
                   result &&& 0xFF
  -            else
  -                NZ binaryResult
  -                c <- binaryResult >= 0
  -                setV binaryResult value
  -                binaryResult &&& 0xFF
           aluTemp <- alu
           a <- alu
   
  
positive.code:         ReadMemoryPcIncrement (fun mem ->
              opcode2 <- mem
              if branchTaken then
                  opcode <- vopRelativeStuff
                  mi <- -1)
              
      let RelBranchStage2Bvs () = RelBranchStage2 v
  
negative.code:             v <- (a ^^^ sum) &&& (a ^^^ operand) &&& 0x80 <> 0
          let alu =
              let binaryResult = a - value - (if c then 0 else 1)
              if not isDecimalMode then
                  NZ binaryResult
                  c <- binaryResult >= 0
                  setV binaryResult value
                  binaryResult &&& 0xFF
              else
                  let initialSub = (a &&& 0x0F) - (value &&& 0x0F) - (if c then 0 else 1)
                  let adjustedSub =
                      if (initialSub &&& 0x10) = 0 then
  