loop_parameter 

<loop_parameter> ::=
  < unsigned_integer >
| < int_host_var >