int
main (void)
{
  if (!(_Bool)(__INT_MAX__ + 1) / !(_Bool)(__INT_MAX__ + 1))
    ;
  return 1;
}