addressLocals = new OPT_Register[numLocals];
  private void initLocalPool() {    int numLocals = method.getLocalWords();    intLocals = new OPT_Register[numLocals];    floatLocals = new OPT_Register[numLocals];    longLocals = new OPT_Register[numLocals];    doubleLocals = new OPT_Register[numLocals];  }