MODULE Main;
IMPORT J;
VAR x: J.R;
BEGIN
  J.P();
  EVAL x;
END Main.