INTERFACE A;
TYPE
  Mode = {Entry, Exit};

  Closure <: OBJECT
    METHODS
      callback(m := Mode.Entry);
  END;

END A.