0, true); check::equal(f(), 42); check::done();