>> minimal set required by clause 4
> Как с этим в ядре?

Возьми да посмотри. Это ты ведь пытаешься доказать, что "ядро на самом деле не на Си!".

>> implementation-defined
> Отличные гарантии языка, MSVC подойдет?

Сlang и gcc вполне подойдут, для старых ядер и tcc, а майки ... они уже осилили полную реализацию c99 или все еще "уже почти совсем, но ..."?
А гарантии вполне нормальные - ну т.е. из реального мира, а не анонимных фантазий и "логики", следуя которым, на Си вообще ничего нет, кроме пары хелловордов ...

> Паника - это неотрывная часть rust.
>> https://github.com/dtolnay/no-panic
> Ты, давай, не шлангуй, напиши _никогда_ не паникующее
> Сам-то намного ниже спрыгиваешь: пиши давай никогда непаникующую rust-программу.

Сам спрыгнул с темы на какие-то бредовые фантазии - сам и "доказывай" свой бред.