crl2pkcs7_main
{FT_general, "crl2pkcs7", crl2pkcs7_main, crl2pkcs7_options, NULL, NULL},
extern int crl2pkcs7_main(int argc, char *argv[]);