top_spec

<top_spec> ::=
  TOP <
unsigned_integer>
| TOP <
parameter_name>