protected static final void acquireVMResource(VM_Address start, VM_Address end, int bytes) {
protected static final void acquireVMResource(VM_Address start, VM_Address end, VM_Extent bytes) {
  protected static final void acquireVMResource(VM_Address start, VM_Address end, int bytes) {  }