Generated from ASN1.y.