prime ffi example