execute(tc_at_certificate_sha256_2());
execute(tc_at_certificate_sha256_3());
execute(tc_certificate_asn1c_1());
}
} // End of module TestCodec_Certificates