1# zip_open: file opens fine even though file name has length 0
2program tryopen
3args filename_empty.zip
4return 0
5file filename_empty.zip filename_empty.zip filename_empty.zip
6stdout opening 'filename_empty.zip' succeeded, 1 entries
7