Function asn1_start_any_non_eoc 

pub open spec fn asn1_start_any_non_eoc() -> Asn1StartDomain

{
    Asn1StartDomain {
        accepts_empty: false,
        tags: Asn1TagLeadMask {
            universal: 0xffff_ffff_ffff_fffeu64,
            application: 0xffff_ffff_ffff_ffffu64,
            context_specific: 0xffff_ffff_ffff_ffffu64,
            private: 0xffff_ffff_ffff_ffffu64,
        },
    }
}