foo(1); check::done();