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