n := 41;
assert(n=42);
message "ok";