void _main(){char * data;char * *data_ptr1=&data;char * *data_ptr2=&data;char data_buf[FILENAME_MAX]="";data=data_buf;{char * data=*data_ptr1;{size_t data_len=strlen(data);if(FILENAME_MAX-data_len > 1){fgets(data+data_len, (int)(FILENAME_MAX-data_len), stdin);data_len=strlen(data);if (data_len > 0){data[data_len-1]='\0';}}}}{char * data=*data_ptr2;{int fd;fd=OPEN(data, O_RDWR|O_CREAT, S_IREAD|S_IWRITE);if (fd!=-1){CLOSE(fd);}}}}
static void main(){char * data;char * *data_ptr1=&data;char * *data_ptr2=&data;char data_buf[FILENAME_MAX]="";data=data_buf;{char * data=*data_ptr1;strcpy(data, "c:\\temp\\file.txt");strcpy(data, "/tmp/file.txt");}{char * data=*data_ptr2;{int fd;fd=OPEN(data, O_RDWR|O_CREAT, S_IREAD|S_IWRITE);if (fd!=-1){CLOSE(fd);}}}}