let empty_ar = Impl.create 0