Fix issue #7 by adding some more GCC builtin functions to CIL

Fixes issue #7