OPT_ClassLoaderProxy.VM_ProcessorType);
OPT_ClassLoaderProxy.getVMProcessorType());
  public OPT_RegisterOperand makePROp() {    return new OPT_RegisterOperand(physical.getPR(),				   OPT_ClassLoaderProxy.VM_ProcessorType);  }