1MODULE Case5; 2 3PROCEDURE P (i: SHORTINT); 4 BEGIN 5 CASE i OF 6 | 128: (* nothing *) 7 END; 8 END P; 9 10END Case5. 11