let get_offset p = function
      | Ofield f -> D.acc_field (D.F.unwrap p) f
      | Oindex (i,_) -> D.acc_index (D.F.unwrap p) i