[C2hs] A problem parsing a C header