data = R0x2000;

text = LOAD ?RXO;

text: .text%ZIP_Open;

text: .text%ZIP_Open_Generic;

text: .text%InitializeZip;

text: .text%allocZip;

text: .text%readCEN: OUTPUTDIR/zip_util.o;

text: .text%findEND: OUTPUTDIR/zip_util.o;

text: .text%hash: OUTPUTDIR/zip_util.o;

text: .text%isMetaName: OUTPUTDIR/zip_util.o;

text: .text%addMetaName: OUTPUTDIR/zip_util.o;

text: .text%ZIP_FindEntry;

text: .text%ZIP_GetEntry;

text: .text%ZIP_Lock;

text: .text%readLOC: OUTPUTDIR/zip_util.o;

text: .text%ZIP_Unlock;

text: .text%ZIP_FreeEntry;

text: .text%Java_java_util_zip_ZipFile_initIDs;

text: .text%Java_java_util_zip_ZipFile_open;

text: .text%Java_java_util_zip_ZipFile_getTotal;

text: .text%Java_java_util_zip_ZipFile_startsWithLOC;

text: .text%Java_java_util_zip_ZipFile_getEntry;

text: .text%Java_java_util_zip_ZipFile_freeEntry;

text: .text%Java_java_util_zip_ZipFile_getEntryTime;

text: .text%Java_java_util_zip_ZipFile_getEntryCrc;

text: .text%Java_java_util_zip_ZipFile_getEntryCSize;

text: .text%Java_java_util_zip_ZipFile_getEntrySize;

text: .text%Java_java_util_zip_ZipFile_getEntryFlag;

text: .text%Java_java_util_zip_ZipFile_getEntryMethod;

text: .text%Java_java_util_zip_ZipFile_getEntryBytes;

text: .text%Java_java_util_zip_Inflater_initIDs;

text: .text%Java_java_util_zip_Inflater_init;

text: .text%inflateInit2_;

text: .text%zcalloc;

text: .text%inflateReset;

text: .text%Java_java_util_zip_Inflater_inflateBytes;

text: .text%inflate;

text: .text%Java_java_util_zip_ZipFile_read;

text: .text%ZIP_Read;

text: .text%huft_build: OUTPUTDIR/inftrees.o;

text: .text%zcfree;

text: .text%Java_java_util_jar_JarFile_getMetaInfEntryNames;

text: .text%ZIP_ReadEntry;

text: .text%InflateFully;

text: .text%inflateEnd;

text: .text%Java_java_util_zip_Inflater_reset;

text: .text%Java_java_util_zip_ZipFile_close;

text: .text%ZIP_Close;

text: .text%Java_java_util_zip_Inflater_end;