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