Re: [C2hs] A problem parsing a C header