String DEFINITIONS IMPLICIT TAGS ::=
BEGIN
EXPORTS;

IA51 ::= IA5String (SIZE (1..128)) (FROM ("0123456789#*,"))

END