XBNF
extrinsic-prefix -to -rule
to
extrinsic-kind-keyword -to -rule
to
program-stmt -to -rule
to
module-stmt -to -rule
to
block-data-stmt -to -rule
to to is EXTRINSIC ( extrinsic-kind-keyword )
to is HPF
-to or HPF_LOCAL
-to or HPF_SERIAL
to is [ extrinsic-prefix ] PROGRAM program-name
to is [ extrinsic-prefix ] MODULE module-name
to is [ extrinsic-prefix ] BLOCK DATA block-data-name
XBNF