void _main(){int data;data=-1;if(global_returns_t_or_f()){data=RAND32();}else{data=ASSERT_VALUE+1;}assert(data > ASSERT_VALUE);}
static void main(){int data;data=-1;if(global_returns_t_or_f()){data=ASSERT_VALUE+1;}else{data=ASSERT_VALUE+1;}assert(data > ASSERT_VALUE);}