void _main(){int data;int *data_ptr1=&data;int *data_ptr2=&data;data=-1;{int data=*data_ptr1;fscanf (stdin, "%d", &data);}{int data=*data_ptr2;assert(data > ASSERT_VALUE);}}
static void main(){int data;int *data_ptr1=&data;int *data_ptr2=&data;data=-1;{int data=*data_ptr1;data=ASSERT_VALUE+1;}{int data=*data_ptr2;assert(data > ASSERT_VALUE);}}