\section{Syntax}

forall-stmt {\bf is}  \\ H401

FORALL (forall-triplet-spec-list [,scalar-mask-expr]) forall-assigment

forall-triplet-spec {\bf is}  \\ we go to next level directly

scalar-int-variable = scalar-int-expr:scalar-int-expr[:scalar-int-expr]

scalar-int-variable {\bf is} NAME

scalar-int-expr {\bf is} level-2-expr  \\ without defined-unary-op

level-2-expr {\bf is} [[level-2-expr] add-op] add-operand

add-operand {\bf is} [add-operand mult-op] mult-operand

mult-operand {\bf is} primary [power-op mult-operand]  \\ reduced from R705,R703

primary {\bf is} scalar-int-constant {\bf or} scalar-int-variable  \\ simplified from
R701

scalar-mask-expr {\bf is}

...

forall-assignment {\bf is}

intrinsic-assignment

