# zip_open: file opens fine even though same file name (empty file name) appears twice
program tryopen
arguments -c filename_duplicate_empty.zzip
return 1
file filename_duplicate_empty.zzip filename_duplicate_empty.zip
stdout
opening 'filename_duplicate_empty.zzip' returned error 10
end-of-inline-data
stderr
1 errors
end-of-inline-data