code: public void writeFixed64(final int fieldNumber, final long value)
                             throws IOException {
      writeTag(fieldNumber, WireFormat.WIRETYPE_FIXED64);
      writeFixed64NoTag(value);
    }
docs: Write a {@code fixed64} field, including tag, to the stream.