void setValue(String value) throws DebuggerException {
   try {
     byte[] data = value.getBytes("US-ASCII");
     if (data.length >= bufLen) {
       throw new DebuggerException("String too long");
     }
     for (int i = 0; i < data.length; i++) {
       addr.setCIntegerAt(i, 1, data[i]);
     }
     addr.setCIntegerAt(data.length, 1, 0);
   } catch (UnsupportedEncodingException e) {
     throw new DebuggerException("Unable to use US-ASCII encoding");
   }
 }