Filenames from Archivefile.list_zipInput:zipfile – FileOutput:output – StringReturns all filenames inside the archive.