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