JNIFunctions = new int[FUNCTIONCOUNT+1][];
  public static void init() {    JNIFunctions = new int[FUNCTIONCOUNT][][];    // 2 words for each thread    JNIFunctionPointers = new int[VM_Scheduler.MAX_THREADS * 2];  }