MODULE TArith;
VAR x : INTEGER; b : BOOLEAN;
BEGIN x := b + 1
END TArith.