adding record of things that didn't work
added -nostdinc, see what happens
adding standard header files to replace the system ones, which tend to be incompatible with smack's symbolic execution
added initial contents
added initial contents
added more contents
added the -nostdinc that just worked somewhat for gcc
fixed syntax errors, this compiled
adding file to replace system stdbool.h, as that is incompatible
added initial contents
removed debugging code
removed debugging code
this seems to work
added another value
added note
added -nostdinc option to clang call
adding a replacement for the incompatible system stdio.h
added initial contents
fixed typos, this appears to compile
adding a replacement for the incopmatible system string.h