First example on using the FFI