select Ensure(42, true, "message");
