# 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