MODULE Main;

PROCEDURE Foo (r: REFANY) =
  BEGIN
    TYPECASE r OF
    | REF REAL, REF INTEGER =>
    ELSE
    END;
  END Foo;

BEGIN
  Foo (NIL);
END Main.