anchor.diff:          | None -> 0x000
           | OpenBLAS -> 0x0100
           | Torch -> 0x0200
  -        | Other (_name, code) -> code
  +        | Other (_name, code) -> (code + 3) <<< 8
   
       member x.Name = 
           match x with 
  
positive.code:         | Int32 -> 0x50000
          | Int64 -> 0x60000
          | Bool -> 0x70000
          | Other (_name, code) -> code
  
      member internal x.Name =
          match x with
  
negative.code:         match x with
          | CPU -> 0x0000
          | GPU -> 0x0001
          | Other (_name, code) -> (code + 2)
  
      member internal x.Name =
          match x with
  