positive_int_const

positive_int_const 
      ::= const_exp 

This rule is called by

-> fixed_array_size
-> sequence_type
-> string_type