static void main_sink(int data){assert(data > ASSERT_VALUE);}void _main(){int data;void (*func_ptr) (int)=main_sink;data=-1;data=RAND32();func_ptr(data);}
static void main_sink(int data){assert(data > ASSERT_VALUE);}static void main(){int data;void (*func_ptr) (int)=main_sink;data=-1;data=ASSERT_VALUE+1;func_ptr(data);}