pub type CertificateSerialNumber = Integer;