void
f ()
{
  (_Bool) (__INT_MAX__ + 1);
}