#include <stdio.h> #include <stdint.h> int main() { printf("%d\n", (int) sizeof (int32_t)); return 0; }