MODULE TF32; VAR ExitCode : INTEGER; x : SHORTREAL; z : REAL32; y : REAL; b : CBool; BEGIN x := 1.5; z := 2.25; y := x + z; b := TRUE; IF (y = 3.75) AND b THEN ExitCode := 42 ELSE ExitCode := 1 END END TF32.