(@-@) (@-@) (@-@) (@-@) >< vector 2013