process a C header file to write xs snippets