docs: public void enc_ndr_string(String s) {
          align(4);
          int i = index;
          int len = s.length();
          Encdec.enc_uint32le(len + 1, buf, i); i += 4;
          Encdec.enc_uint32le(0, buf, i); i += 4;
          Encdec.enc_uint32le(len + 1, buf, i); i += 4;
          try {
              System.arraycopy(s.getBytes("UTF-16LE"), 0, buf, i, len * 2);
          } catch( UnsupportedEncodingException uee ) {
          }
          i += len * 2;
          buf[i++] = (byte)'\0';
          buf[i++] = (byte)'\0';
          advance(i - index);
      }