!--a11y-->
int_host_var
<int_host_var> ::=
<
hostvarprefix
><
identifier
>
(nur für Variablen vom Typ intdecspec erlaubt)