class JavaUtilZipCRC32Native extends NativeMethodClass {
  public JavaUtilZipCRC32Native(NativeHelper helper) {
    super(helper);
  }

  /**
   * Implements the abstract method simulateMethod. It distributes the request to the corresponding methods by signatures.
   */
  public void simulateMethod(SootMethod method, ReferenceVariable thisVar, ReferenceVariable returnVar,
      ReferenceVariable params[]) {<FILL_FUNCTION_BODY>}

  /*********************** java.util.zip.CRC32 *********************/
  /**
   * NO side effects.
   *
   * private static native int update(int, int); private static native int updateBytes(int, byte[], int, int);
   *
   * @see default(...)
   */

}


    String subSignature = method.getSubSignature();

    /* TODO */
    {
      defaultMethod(method, thisVar, returnVar, params);
      return;

    }
  
<methods>public void <init>(soot.jimple.toolkits.pointer.util.NativeHelper) ,public static void defaultMethod(soot.SootMethod, soot.jimple.toolkits.pointer.representations.ReferenceVariable, soot.jimple.toolkits.pointer.representations.ReferenceVariable, soot.jimple.toolkits.pointer.representations.ReferenceVariable[]) ,public abstract void simulateMethod(soot.SootMethod, soot.jimple.toolkits.pointer.representations.ReferenceVariable, soot.jimple.toolkits.pointer.representations.ReferenceVariable, soot.jimple.toolkits.pointer.representations.ReferenceVariable[]) <variables>private static final boolean DEBUG,protected soot.jimple.toolkits.pointer.util.NativeHelper helper,private static final org.slf4j.Logger logger