vector:
   '___vector' '(' type ')'
   ;