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