1# zip_open: file opens fine even though same file name appears twice 2program tryopen 3args filename_duplicate.zzip 4return 0 5file filename_duplicate.zzip filename_duplicate.zip filename_duplicate.zip 6stdout opening 'filename_duplicate.zzip' succeeded, 2 entries 7