[
 (instantiated_template_type) {
  vector
  (template_instantiation_arguments) {
   <
   (builtintype) {
    int
   }
   >
  }
 }
]