(@-@) (@-@) (@-@) (@-@) >< vector Vector 2018-12