get rid of nasty ffi code in the example