/* {1d6871ce-6371-115a-b3b8-08002bc48051} */
#ifndef des3_ex_guid_init
#define des3_ex_guid_init \
        {0x1d6871ce, 0x6371, 0x115a, {0xb3, 0xb8, 0x08, 0x0, 0x2b, 0xc4, 0x80, 0x51}}
#endif