anchor.diff:                          x.Definition.Overrides.[0].Name
                       else
                           name x.Definition.Name nm
  -                let y = { Address  = x.AddressSlot
  -                          Location = x.Location
  -                          Name     = nm }
  +                let y =
  +                    {
  +                        Address  = x.AddressSlot
  +                        Annotations  = x.Annotations
  +                        Location = x.Location
  +                        Name = nm
  +                    }
                   Map.add (gen n acc) (y, x.MemberSlot) acc
           Map.add (gen n acc) (x, p.Member.MemberSlot) acc
           |> add p.Getter
  
positive.code:                     match addr with
                      | P.Global n     -> P.Global (p + n)
                      | P.Local (a, n) -> P.Local (a, p + n)
                  let y = { Address  = x.AddressSlot
                            Name     = None
                            Location = x.Location }
                  pack a (Member (y, x.MemberSlot)) :: acc
          pack addr (Member (x, p.Member.MemberSlot)) :: acc
          |> add p.Getter
  
negative.code: let annot annots =
      List.tryPick (function R.Name x -> Some x | _ -> None) annots
  
  let isStub annots =
      List.exists (function R.Stub -> true | _ -> false) annots
  
  let addr ctx name annot =
      let ( / ) a b =
          match a with
  