MODULE Main;

PROCEDURE p (e := E.b) =
BEGIN
CASE e OF
  | E.a =>
  | E.b => END;
END p;

PROCEDURE q (e : E := E.b) =
BEGIN
CASE e OF
  | E.a =>
  | E.b => END;
END q;

PROCEDURE r (e : E := E.c) =
BEGIN
CASE e OF
  | E.a =>
  | E.b => END;
END r;

PROCEDURE s (e := E.c) =
BEGIN
CASE e OF
  | E.a =>
  | E.b => END;
END s;

BEGIN
END Main.