const char *DES_options(void)
{
    static int init = 1;
    static char buf[32];

    if (init) {
        const char *size;

        if (sizeof(DES_LONG) != sizeof(long))
            size = "int";
        else
            size = "long";
        sprintf(buf, "des(%s)", size);
        init = 0;
    }
    return (buf);
}