adding header pragma for printf ffi example