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