// Generated random file with w 3 and h 2 and bs 2 #include int qrrswwv ; int zjwdcwa ; int vuiiwzs ; int emntcyx ; int oesehyb ; void test_main() { while ((vuiiwzs < 88 + 52 + 100)) { if ((zjwdcwa < oesehyb + zjwdcwa + 40)) { } else { } if ((vuiiwzs > 66 + oesehyb) && (emntcyx < vuiiwzs - zjwdcwa - 91)) { } else { vuiiwzs = 51 + 6 - vuiiwzs - oesehyb + qrrswwv; } } if ((qrrswwv > vuiiwzs + emntcyx + 23) || (qrrswwv < qrrswwv + qrrswwv)) { while ((qrrswwv < emntcyx + 6 + 34 + 71 + 100)) { emntcyx = 61 - oesehyb + oesehyb + 63; } while ((vuiiwzs < 23 + 79 + vuiiwzs + 100) || (zjwdcwa < 78 - 41)) { qrrswwv = 3 + 4 + emntcyx + qrrswwv; } if ((vuiiwzs > vuiiwzs + 82 + 85 - 54 - vuiiwzs)) { vuiiwzs = vuiiwzs + emntcyx + 27 + zjwdcwa; } else { emntcyx = emntcyx + 52; } } else { } while ((vuiiwzs < 94 + 69 + oesehyb + 21 + 67 + 100) || (emntcyx > emntcyx - 5)) { while ((vuiiwzs < 96 - oesehyb - qrrswwv + oesehyb) && (zjwdcwa > zjwdcwa - 25 + 89)) { } if ((vuiiwzs > 21 - 0)) { vuiiwzs = oesehyb + emntcyx + emntcyx - zjwdcwa; } else { emntcyx = 23 - emntcyx; } while ((zjwdcwa > zjwdcwa + vuiiwzs + 42 - 26)) { vuiiwzs = 39 - emntcyx + vuiiwzs + qrrswwv + emntcyx; } } qrrswwv = qrrswwv + 97 + zjwdcwa; qrrswwv = qrrswwv + 30 + 46 + emntcyx + oesehyb; while ((qrrswwv < 81 + vuiiwzs + 5 + 100) || (emntcyx < 35 + zjwdcwa - 3 - zjwdcwa)) { vuiiwzs = 97 + 11 - 16; if ((vuiiwzs < zjwdcwa - 57 + 16)) { } else { qrrswwv = 50 - 38 + oesehyb + 89 - qrrswwv; } while ((qrrswwv > 25 + vuiiwzs) || (zjwdcwa > 20 + zjwdcwa - 29 + emntcyx)) { } } assert ((vuiiwzs < emntcyx - emntcyx + emntcyx - 60 - emntcyx)); assert ((vuiiwzs < zjwdcwa + zjwdcwa + 66 + 91 + 44) || (vuiiwzs > vuiiwzs - emntcyx + zjwdcwa)); assert ((vuiiwzs < 82 + 86)); }