Check should always execute its parameter--leave it to the compiler to optimise things out.