Named constants not being saved and used

[Dave-Krch]

In my specification i have something like this:

defVal INTEGER ::= 255

TestInt ::= INTEGER

Test4Seq ::= SEQUENCE {
    a TestInt DEFAULT defVal
}

which is valid ASN1 Syntax and default value of a in the sequence should be 255. But asn1tools does not set the default value.

Also when defining integer with named constant values, like this:

DeltaLongitude ::= INTEGER {oneMicrodegreeEast (10), oneMicrodegreeWest (-10), unavailable(131072)} (-131071..131072)

The values are not compiled from the asn1 specification either.

Is this known limitation or am I missing something in the asn1 code?