#include <stdio.h> int main(void){ _Bool x = .25; printf("%d", (int)x); return 0;}
Standard input is empty
1
The brand new service which powers Ideone!
Widget for compiling and running the source code in a web browser!