we need to include libc definitions and strip the Xr0 annotations from our .x files to generate a .c file that can be compiled with a C compiler.