https://eev.ee/blog/2016/12/01/lets-stop-copying-c/
http://h2co3.org/blog/index.php/2016/12/01/lets-stop-bashing-c/

define __same_type(a, b) __builtin_types_compatible_p(typeof(a), typeof(b))

define BUILD_BUG_ON_ZERO(e) (sizeof(struct { int:-!!(e); }))

define must_be_array(a) BUILD_BUG_ON_ZERO(same_type((a), &(a)[0]))

define ARRAY_SIZE(arr) (sizeof(arr) / sizeof((arr)[0]) + __must_be_array(arr))

TFW compile-time type checking.
Найдено в сорцах прыщеядра.

pll.c:176: undefined reference to `memcpy'
…
-fno-builtin -ffreestanding
…
- unsigned char clk_list[]={3,10,11};
+ unsigned char clk_list[3];
+ clk_list[0] = 3;
+ clk_list[1] = 10;
+ clk_list[2] = 11;

http://www.tedunangst.com/flak/post/worst-common-denominator-programming

Попытки переизобрести ООП в сях - это всегда боль, страдания, ад и израиль. Причем объектная система в qemu обладает чудесным свойством строковой типизации и runtime type checking и не просто падает, а падает красиво (если ты проверяешь ошибки), либо тупо молча не работает (если не проверяешь).

lexszero> ололо, я поел говна!
lexszero> ебаные битфилды
lexszero> битфилд из 16 бит занимает 4 байта
lexszero> и биты в них раскиданы рандомно