1String DEFINITIONS IMPLICIT TAGS ::=
2BEGIN
3EXPORTS;
4
5IA51 ::= IA5String (SIZE (1..128)) (FROM ("0123456789#*,"))
6
7END
8