1? DO_construct_name :
2 DO
2? stmt_label
3? ,
4 WHILE ( logical_expr )