/**
 *  This header comment may be left unformatted.
 */
Example { 1 2 3 4 5 6 }
DEFINITIONS AUTOMATIC TAGS EXTENSIBILITY IMPLIED ::= BEGIN
EXPORTS ExampleType, exampleValue;
IMPORTS OtherType,otherValue FROM OtherModule {1 2 3 4 5 5} AnotherType FROM AnotherModule {1 2 3 4 5 7};
    
    -- YYYY/MM/DD hh:mm:ss
    Date ::= VisibleString(SIZE(19))
    
    ExampleType ::= SEQUENCE { 
        name [APPLICATION 1] VisibleString(SIZE(1..20)) DEFAULT "noname",
        color[ 2 ] EXPLICIT  ENUMERATED {red(0),green(1),blue(2)} OPTIONAL,
        code [APPLICATION 2] OtherType DEFAULT otherValue
    }

    exampleValue ExampleType ::= {
        name      "my name",
        color     green,
        code      otherValue
    }
END