// Generated random file with w 2 and h 1 and bs 2
#include <assert.h>

int qrrswwv ;
int zjwdcwa ;
int vuiiwzs ;
int emntcyx ;
int oesehyb ;

void test_main()
{
	qrrswwv = qrrswwv + vuiiwzs + emntcyx;
	emntcyx = emntcyx + qrrswwv + 12;
	while ((zjwdcwa < oesehyb + oesehyb + oesehyb + 69 + 100) || (vuiiwzs < oesehyb - 47 + oesehyb - 0)) {
		vuiiwzs = 40 - 56 - emntcyx;
	}
	assert ((zjwdcwa < 18 + 94 + qrrswwv - 12));
	assert ((emntcyx > vuiiwzs + oesehyb) || (vuiiwzs > emntcyx - 28 + qrrswwv + vuiiwzs));
	assert ((vuiiwzs < qrrswwv + 37 - zjwdcwa - oesehyb + oesehyb));
}