ASN1 decoder depends no more on `Int10`