(@-@) (@-@) (@-@) (@-@) >< vector 2017-10