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