MODULE Main;

TYPE T = OBJECT METHODS apply (): REFANY RAISES {} END;

VAR t: T;

PROCEDURE SendSig (self: INTEGER): REFANY = 
BEGIN
  EVAL self;
  RETURN NIL;
END SendSig;

PROCEDURE B (self: T): REFANY = 
BEGIN
END B;

PROCEDURE A (x: PROCEDURE (y: INTEGER): REFANY RAISES {}) =
BEGIN
EVAL x(3);
END A;

BEGIN
  A (SendSig);
  t := NEW (T, apply := B);
END Main.