let to_vector_h x = x.(0)