integer x;

x = 41;
if (x != 42) {
    error("x is not 42");
}