Проблема, как всегда, в том, что буквоедство не хочет видеть твёрдости реальной стенки, которую надо пробиватьВот действительно так. Буквы буквами, но типы - это то, чем язык связан с реальной железкой. Тут неизбежно будут проблемы.