DEFINITION Integers;

    IMPORT Files;

    TYPE
        Integer = POINTER TO IntegerDesc;
    ...

PROCEDURE GCD (x, y: Integer): Integer;

struct IBinaryStream
{
    virtual uint    read( void *buf, uint size )            = 0;
    virtual void    write( const void *buf, uint size )    = 0;

public: // хелперы
    template <class T> inline void 
        get( T value )
    {
        read( &value, sizeof(T) );
    }

    template <class T> inline void
        get( T ary[], uint n )
    {
        read( ary, sizeof(T) * n );
    }

    template <class T> inline void 
        put( const T value )
    {
        write( &value, sizeof(T) );
    }

    template <class T> inline void
        put( T ary[], uint n )
    {
        write( ary, sizeof(T) * n );
    }

};

void usaem_strim( IBinaryStream &stm, int a, double b, int c[], uint c_size )
{
    stm.get( a );
    stm.get( b );
    stm.put( c, c_size );
    stm.put( 10UL );
    // удобно однако!
}

// теперь в твоем стиле через процедуры:
void usaem_strim( IBinaryStream &stm, int a, double b, int c[], uint c_size )
{
    IBinaryStream_get( stm, a );
    IBinaryStream_get( stm, b );
    IBinaryStream_put( stm, c, c_size );
    IBinaryStream_put( stm, 10UL );
    // и к чему нам этот геморой на ровном месте?
}

  stm.ReadInteger(a);

  Streams.ReadInteger(stm, a);

DEFINITION Integers;

    IMPORT Files;

    TYPE
        Integer = POINTER TO IntegerDesc;
    ...

TYPE
  IntegerDesc = LIMITED RECORD
    (* поля данных представляющие целое число неограниченного размера *)
  END;

СГ>  stm.ReadInteger(a);
СГ>

СГ>  Streams.ReadInteger(stm, a);
СГ>

struct IBinaryStream
{
protected: // зашишенная виртуальная функция (только для наследования)
   virtual void IBinaryStream$read( void *buf, uint size ) = 0;

public: // хелпер для вызова
   void read( void *buf, uint size ) { IBinaryStream$read(buf,size); }
};

// В классе наследнике от IBinaryStream
class MyClass : public IBinaryStream
{
protected:
// видно что функция переопределена и видно из какого класса ноги растут:
  void IBinaryStream$read( void *buf, uint size ); 

};

// Даже если наследование углубилось и не видно что класс занаследован от IBinaryStream:
class AnotherClass : public MyClass
{
protected:
// все равно видно что функция переопределана и видно из какого класса.
  void IBinaryStream$read( void *buf, uint size ); 

  void MyClass$foo(); // здесь тоже все понятно без слов.
};

// А юзается это дело через хелпер:
void test( AnotherClass &ac )
{
   int x;
   ac.read( &x, sizeof(x) ); // транслируется в IBinaryStream$read
}

type
  A = class (TObject)
  // здесь содержатся поля типа
  end;

  B = class (A)
  // здесь содержатся поля типа
  end;

type

object is // так можно сказать, что списковый тип декларируем, т.е. задаём
// здесь содержатся поля типа
end;

A is object
// здесь содержатся поля типа
end;

B is A
// здесь содержатся поля типа
end;

ЗХ>any.get<int>(); //так низзя
ЗХ>get<int>(any); //а так - мона.
ЗХ>

ЗХ>Если только я ничего не путаю

any. template get <int>();

С точки зрения Оберона, то, что творили операторы со структурами данных в сишной программе было маразмом и извратом. И если бы это только вело к эффективности!!! Переписанная мной процедура обратного Фурье-преобразования на порядок эффективнее оказалась сишного исходника.
....то, что было наворочено в сишнике, обероновский компилятор бы просто как ахинею не пропустил бы. И ещё раз на поверку оказалось, что таки да, там туфта была... Например по их алгоритму индекс ИНОГДА (“ну не всегда же!” :о) ) выходил за верхний предел. Знаете, как оне из этого трабла вышли? ГОСПОДА ДОБАВИЛИ ТРИ ДОПОЛНИТЕЛЬНЫХ ЭЛЕМЕНТА В МАССИВЕ С НУЛЕВЫМИ ЗНАЧЕНИЯМИ!!! Как вам такое “проектное решение”? Видимо у них рантайм-ероры начали сыпаться и они, вместо того, что бы пересмотреть алгоритм формирования индекса, просто добавили столько элементов (“какой максимальный индекс “получается по статистике”?” :о) ). А и правда – а нафига? — слушатель всё равно раз в пять секунд вкрапление “лишнего нулевого значения” в амплитуде сигнала не заметит при 48 тысячах выборок в секунду... :о)))