[C2hs] BUG: string.h, (FC4 x86_64)