void FUN(void) { int i, j, k; i = 123; i = 123; i = 123; i = 123; i = 123; i = 123; i = 123; i = 123; i = 123; i = 123; i = 123; i = 123; i = 123; i = 123; i = 123; i = 123; i = 123; i = 123; i = 123; i = 123; i = 123; i = 123; i = 123; i = 123; i = 123; i = 123; i = 123; i = 123; i = 123; i = 123; j = 456; j = 456; j = 456; j = 456; j = 456; j = 456; j = 456; j = 456; j = 456; j = 456; j = 456; j = 456; j = 456; j = 456; j = 456; k = 789; k = 789; k = 789; k = 789; k = 789; k = 789; k = 789; i = 0x0078; i = 0x0078; i = 0x0078; i = 0x0078; i = 0x0078; i = 0x0078; i = 0x0078; i = 0x0078; i = 0x0078; i = 0x0078; i = 0x0078; i = 0x0078; i = 0x0078; i = 0x0078; i = 0x0078; i = 0x0078; i = 0x0078; i = 0x0078; i = 0x0078; i = 0x0078; i = 0x0078; i = 0x0078; i = 0x0078; i = 0x0078; i = 0x0078; i = 0x0078; i = 0x0078; i = 0x0078; i = 0x0078; i = 0x0078; i = 0x01f8; i = 0x01f8; i = 0x01f8; i = 0x01f8; i = 0x01f8; i = 0x01f8; i = 0x01f8; i = 0x01f8; i = 0x01f8; i = 0x01f8; i = 0x01f8; i = 0x01f8; i = 0x01f8; i = 0x01f8; i = 0x01f8; i = 0x01f8; i = 0x01f8; i = 0x01f8; i = 0x01f8; i = 0x01f8; i = 0x01f8; i = 0x01f8; i = 0x01f8; i = 0x01f8; i = 0x01f8; i = 0x01f8; i = 0x01f8; i = 0x01f8; i = 0x01f8; i = 0x01f8; i = 278UL; i = 278UL; i = 278UL; i = 278UL; i = 278UL; i = 278UL; i = 278UL; i = 278UL; i = 278UL; i = 278UL; i = 278UL; i = 278UL; i = 278UL; i = 278UL; i = 278UL; i = 278UL; i = 278UL; i = 278UL; i = 278UL; i = 278UL; i = 278UL; i = 278UL; i = 278UL; i = 278UL; i = 278UL; i = 278UL; i = 278UL; i = 278UL; i = 278UL; i = 278UL; i = -129; i = -129; i = -129; i = -129; i = -129; i = -129; i = -129; i = -129; i = -129; i = -129; i = -129; i = -129; i = -129; i = -129; i = -129; i = -129; i = -129; i = -129; i = -129; i = -129; i = -129; i = -129; i = -129; i = -129; i = -129; i = -129; i = -129; i = -129; i = -129; i = -129; int a123 = 127; i = a123; i = a123; i = a123; i = a123; i = a123; i = a123; i = a123; i = a123; i = a123; i = a123; i = a123; i = a123; i = a123; i = a123; i = a123; i = a123; i = a123; i = a123; i = a123; i = a123; i = a123; i = a123; i = a123; i = a123; i = a123; i = a123; i = a123; i = a123; i = a123; i = a123; }