unexported type Vector