Remove this, it properly belongs to ASN1, and that's for a seperate PR