start ::= <<test[X]>>

for[T] test[T] ::= <<ctor_name[T]>>

// output: X
