#include #include int main (int argc, char** argv) { printf ("%i\n", sizeof(bool)); return 0; }