int test(void) {
  int i, b;
  i = 45;
  b = !(!i);
  return 0;
}