#include #include #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 += ADD_S(MUL_S(MUL_S(z, 42), 3),8); y += ADD_S(MUL_S(z, 42* 3),8); z = (34 * z + 135) % (1 << 30); } return y; }