#include <stdint.h>
#include <stdlib.h>
#include "sysdeps/unix/sysv/linux/x86_64/saturated.h"
int main()
{
  volatile size_t z2 = 34;
  size_t x,y = 0;
  size_t z = z2;
  for (x=0;x<3400000000;x++) {
    y += (z <= ((SIZE_MAX - 8) / 42 / 3)) ? (z*42*3+8) : SIZE_MAX;
    z = (34 * z + 135) % (1 << 30);
  }
  return y;
}