code: public void write(ByteCodeWriter out)
      throws IOException
    {
      out.writeUTF8Const(getName());
      out.writeInt(_value.length);
      out.write(_value, 0, _value.length);
    }
docs: Writes the field to the output.