MODULE TLower4Case; (* Lower slice L4: CASE (value and range labels, ELSE). Exit 42. *) VAR x, i, ExitCode : INTEGER; BEGIN i := 4; CASE i OF 1: x := 10 | 2: x := 20 | 3..5: x := 42 ELSE x := 0 END; ExitCode := x END TLower4Case.