// gcc -m32 -g -O2 -o const_type const_type.c

__attribute__((noinline, noclone)) int
f1 (long long d)
{
  long long w = d / 0x1234567800000LL;
  return w;
}

int
main ()
{
  return f1 (4LL) - f1 (4LL);
}