a b c d
test ::= a b c d;