Re: [c2hs] #34: C header contains errors