IMPLEMENTATION MODULE a;

FROM List IMPORT List;

  CLASS b;
    VAR
      Attr: INTEGER;
      
    REDEFINE METHOD CREATE;
      VAR
        Loc: INTEGER;
      VAR
        l: List(b);
      BEGIN
      END CREATE;
  END b;

END a;