preprocessing-file:
	groupopt

group:
	group-part
	group group-part

group-part:
	control-line
	if-section
	text-line
	# conditionally-supported-directive

control-line:
	# include pp-tokens new-line
	# define identifier replacement-list new-line
	# define identifier lparen identifier-listopt ) replacement-list new-line
	# define identifier lparen ... ) replacement-list new-line
	# define identifier lparen identifier-list , ... ) replacement-list new-line
	# undef identifier new-line
	# line pp-tokens new-line
	# error pp-tokensopt new-line
	# pragma pp-tokensopt new-line
	# new-line

if-section:
	if-group elif-groupsopt else-groupopt endif-line
	
if-group:
	# if constant-expression new-line groupopt
	# if def identifier new-line groupopt
	# if ndef identifier new-line groupopt
	
elif-groups :
	elif-group
	elif-groups elif-group

elif-group:
	# elif constant-expression new-line groupopt

else-group :
	# else new-line groupopt
	
endif-line:
	# endif new-line
	
text-line:
	pp-tokensopt new-line
	
conditionally-supported-directive :
	pp-tokens new-line
	
lparen:
	a ( character not immediately preceded by white-space

identifier-list:
	identifier
	identifier-list , identifier

replacement-list:
	pp-tokensopt

pp-tokens :	
	preprocessing-token
	pp-tokens preprocessing-token
	
new-line:
	enter

defined-macro-expression:
	defined identifier
	defined ( identifier )

h-preprocessing-token:
	any preprocessing-token other than >

h-pp-tokens :
	h-preprocessing-token
	h-pp-tokens h-preprocessing-token

has-include-expression:
	__has_include ( < h-char-sequence > )
	__has_include ( " q-char-sequence " )
	__has_include ( string-literal )
	__has_include ( < h-pp-tokens > )