D3: Understanding a yacc spec.