// Generated random file with w 2 and h 4 and bs 3 #include int qrrswwv ; int zjwdcwa ; int vuiiwzs ; int emntcyx ; int oesehyb ; void test_main() { vuiiwzs = vuiiwzs + emntcyx + qrrswwv + 59; if ((vuiiwzs > zjwdcwa + 95)) { qrrswwv = qrrswwv + 27 + 2; } else { qrrswwv = qrrswwv + emntcyx + 61 + 39; } qrrswwv = qrrswwv + oesehyb + qrrswwv + 86 + 26; if ((emntcyx > zjwdcwa + 44 - 83 + 98)) { zjwdcwa = zjwdcwa + 59 + 21; } else { vuiiwzs = vuiiwzs + oesehyb + oesehyb; } while ((zjwdcwa < 93 + 32 + 100) && (emntcyx < 69 - 48 + emntcyx - vuiiwzs)) { vuiiwzs = emntcyx - 59 + 32 + vuiiwzs; qrrswwv = 8 - zjwdcwa; } zjwdcwa = zjwdcwa + zjwdcwa + emntcyx; while ((vuiiwzs < emntcyx + emntcyx + vuiiwzs + vuiiwzs + 86 + 100) || (qrrswwv > 41 - 60 + oesehyb + 83)) { } while ((vuiiwzs < emntcyx + qrrswwv + 9 + emntcyx + 100)) { qrrswwv = 9 - zjwdcwa - qrrswwv; qrrswwv = 7 - 82 - zjwdcwa - 59; } while ((emntcyx < emntcyx + zjwdcwa + zjwdcwa + 100)) { qrrswwv = zjwdcwa - vuiiwzs; zjwdcwa = zjwdcwa - zjwdcwa; } qrrswwv = qrrswwv + emntcyx + emntcyx + qrrswwv; qrrswwv = qrrswwv + 83; if ((zjwdcwa > vuiiwzs + qrrswwv)) { zjwdcwa = zjwdcwa + oesehyb + qrrswwv; } else { emntcyx = emntcyx + zjwdcwa + vuiiwzs + qrrswwv + vuiiwzs; } emntcyx = emntcyx + 94 + qrrswwv + 8; vuiiwzs = vuiiwzs + 16; emntcyx = emntcyx + 93 + oesehyb + zjwdcwa; while ((qrrswwv < zjwdcwa + 77 + emntcyx + 100) || (vuiiwzs < 85 + zjwdcwa + emntcyx)) { } assert ((vuiiwzs < 64 - 95 + 83 - 86) || (vuiiwzs < 7 - 68 - 79 - 46 + 23)); assert ((emntcyx < 52 + oesehyb) && (qrrswwv < zjwdcwa + 86 - zjwdcwa + 40 - 55)); assert ((zjwdcwa > zjwdcwa + 44 - zjwdcwa + qrrswwv - 62) || (vuiiwzs < oesehyb - 38 - 84)); }