MODULE Interp;
 
  PROCEDURE Call* (IN s: ARRAY OF CHAR);
    VAR i: INTEGER;
 
    PROCEDURE SkipSpaces;
      VAR ch: CHAR;
    BEGIN
      ch := s[i]; (* ошибка? предупреждение? или разрешить доступ без квалификатора когда объект экспортирован(помечен как "*" или "-")? *)
      WHILE (ch # 0X) & (ch <= " ") DO
        INC(Call.i); ch := Call.s[Call.i]
      END
    END SkipSpaces;
 
  BEGIN
    i := 0;
    ...
  END Call;
 
END Interp.