MODULE B;

PROCEDURE Make (<*UNUSED*>self: T) =
  BEGIN
  END Make;

BEGIN
END B.