!--a11y-->
int_spec
<
int_spec
> ::=
INTEGER HILO
| INTEGER LOHI