Re: initialization of XXX_COOKIE in C source files