MODULE DCase; IMPORT ELib; VAR r : INTEGER; VAR ExitCode : INTEGER; BEGIN r := 0; CASE ELib.c OF ELib.Red : r := 1 | ELib.Green : r := 2 | ELib.Blue : r := 3 END; ExitCode := r * 10 + 5 END DCase.