| # zip_open: file opens fine even though same file name appears twice | |
| program tryopen | |
| args filename_duplicate.zip | |
| return 0 | |
| file filename_duplicate.zip filename_duplicate.zip filename_duplicate.zip | |
| stdout opening `filename_duplicate.zip' succeeded, 2 entries |