Example #1
0
 void append_null(CharVector & out) const
 {
   const char nul[4] = {0,0,0,0}; // 4 should be enough
   out.write(nul, null_len_);
 }