Pure C добавить типы

IEC101/104

Хороший стандарт, но к сожалению потихоньку подыхает.

почему нельзя определить INT24 как int32_t?

Можно конечно, в принципе во всех открытых реализациях именно это я и видел, просто был проф.интерес, можно ли реализовать это на Си. Просто читая стандарт я вспомнил о давно заброшенной Аде, там это реализовывалось примерно так:

type   Integer_8     is range   -2 **  7 .. 2 **  7 - 1;
type   Integer_16    is range   -2 ** 15 .. 2 ** 15 - 1;
type   Integer_32    is range   -2 ** 31 .. 2 ** 31 - 1;
type   Integer_64    is range   -2 ** 63 .. 2 ** 63 - 1;

type   Unsigned_8    is mod   2 **  8;
type   Unsigned_16   is mod   2 ** 16;
type   Unsigned_32   is mod   2 ** 32;
type   Unsigned_64   is mod   2 ** 64;

давно заброшенной Аде

Насколько я знаю, она не такая уж и заброшенная.