Don't use printf in this test, which is a variable-argument function and hence unsupported by the FFI.