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