VM_Magic.setIntAtOffset(buffer, index, length);		index += SIZE_OF_INT; for (int i=0; i<length; i++) { VM_Magic.setByteAtOffset(buffer, index, bytes[i]); index++; } if(verbose>=4)VM.sysWriteln("VM_HPMs.writeStringToBuffer() return index ",index); return index;
  static public int writeStringToBuffer(byte[] buffer, int index, byte[] bytes)    throws VM_PragmaUninterruptible   {    int length = bytes.length;    if(verbose>=4) {      VM.sysWriteln(  "VM_HPMs.writeStringToBuffer() buffer index ",index," for length ",length);    }    VM_Magic.setIntAtOffset(buffer, index, length);		index += SIZE_OF_INT;    for (int i=0; i<length; i++) {      VM_Magic.setByteAtOffset(buffer, index, bytes[i]);      index++;    }    if(verbose>=4)VM.sysWriteln("VM_HPMs.writeStringToBuffer() return index ",index);    return index;  }