void _main(){int data;int *data_ptr1=&data;int *data_ptr2=&data;data=-1;{int data=*data_ptr1;{char input_buf[CHAR_ARRAY_SIZE]="";fgets(input_buf, CHAR_ARRAY_SIZE, stdin);data=atoi(input_buf);}}{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);}}