* valprint.h (get_array_bounds): Change low and high parameter types