1 data = R0x2000;

     2 text = LOAD ?RXO;

     3 text: .text%ZIP_Open;

     4 text: .text%ZIP_Open_Generic;

     5 text: .text%InitializeZip;

     6 text: .text%allocZip;

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

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

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

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

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

    12 text: .text%ZIP_FindEntry;

    13 text: .text%ZIP_GetEntry;

    14 text: .text%ZIP_InflateFully;

    15 text: .text%ZIP_Lock;

    16 text: .text%ZIP_Unlock;

    17 text: .text%ZIP_FreeEntry;

    18 text: .text%Java_java_util_zip_Inflater_initIDs;

    19 text: .text%Java_java_util_zip_Inflater_init;

    20 text: .text%inflateInit2_;

    21 text: .text%zcalloc;

    22 text: .text%inflateReset;

    23 text: .text%Java_java_util_zip_Inflater_inflateBytes;

    24 text: .text%inflate;

    25 text: .text%ZIP_Read;

    26 text: .text%zcfree;

    27 text: .text%Java_java_util_jar_JarFile_getMetaInfEntryNames;

    28 text: .text%ZIP_ReadEntry;

    29 text: .text%InflateFully;

    30 text: .text%inflateEnd;

    31 text: .text%Java_java_util_zip_Inflater_reset;

    32 text: .text%ZIP_Close;

    33 text: .text%Java_java_util_zip_Inflater_end;