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