> -- adimetrius писал(а):
> Ну вот жеж умные люди посоветовали: ...
Это называется: "Как мы боролись со сложностью и сражались за строгость, простоту и однозначность..."?
Что такое "бестелесная" процедура в рамках базовых принципов оберонов?

Насколько ЛИЧНО МНЕ видится, правильным было бы что-то вроде полного объявления всех разновидностей типов:
1) как это сделано в сях ([|u]int[8|16|32|64|...]_t )
2) что-то, вроде "а ля Зоннон": INT{EGER}( S|U, SIZE, format ), где SIZE - СОВСЕМ НЕ ОБЯЗАТЕЛЬНО кратно степени 2, а format - описатель расположения байтов и битов в числе (знакового и порядок)
Примеры: INT(U,32,le), INTEGER(S,16,BIG)