#include <stdio.h>

int main(void)
{
  _Bool x = .25;
  printf("%d", (int)x);
  return 0;
}