let array_of_path env p =
    match fun_load env p with
      | V_array (_,t) -> t
      | _ -> assert false