/* { dg-do run } */

int a = 0, b = 0, c = 0, d, e;
int
main (void)
{
  d = ((20 % (1 != b)) && c) + 2147483647;
  e = 20 % (a >= 0);
  return 0;
}