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