Z3 FFI interface.