let sizeof_path offs = List.fold_left (fun acc i -> F.e_iop Iadd acc (sizeof_poffset i)) F.i_zero offs