Interesting project. Just a heads up in case people are not aware – if all you want is run “c programs (sort of) as scripts (on a x86 host), the Tiny C compiler might be a better bet: http://bellard.org/tcc/

Looks like this has a different focus than tcc though.