void b_main_sink();void _main(){int data;data=-1;data=RAND32();_main_data=data;b_main_sink();}void b_main_sink(){int data=_main_data;assert(data > ASSERT_VALUE);}
void b_main_sink();static void main(){int data;data=-1;data=ASSERT_VALUE+1;_main_data=data;b_main_sink();}void b_main_sink(){int data=_main_data;assert(data > ASSERT_VALUE);}