void PEM_proc_type(char *buf, int type)
{
    const char *str;
    if (type == PEM_TYPE_ENCRYPTED)
        str = "ENCRYPTED";
    else if (type == PEM_TYPE_MIC_CLEAR)
        str = "MIC-CLEAR";
    else if (type == PEM_TYPE_MIC_ONLY)
        str = "MIC-ONLY";
    else
        str = "BAD-TYPE";
    strcat(buf, "Proc-Type: 4,");
    strcat(buf, str);
    strcat(buf, "\n");
}
['void PEM_proc_type(char *buf, int type)\n{\n    const char *str;\n    if (type == PEM_TYPE_ENCRYPTED)\n        str = "ENCRYPTED";\n    else if (type == PEM_TYPE_MIC_CLEAR)\n        str = "MIC-CLEAR";\n    else if (type == PEM_TYPE_MIC_ONLY)\n        str = "MIC-ONLY";\n    else\n        str = "BAD-TYPE";\n    strcat(buf, "Proc-Type: 4,");\n    strcat(buf, str);\n    strcat(buf, "\\n");\n}']