1?
DO_construct_name
: 2 DO 3?
stmt_label
4? 4? , 4.1
var_name
=
a_expr1
,
a_expr2
4.1.1? ,
a_expr3