store_gcov_u64
pos += store_gcov_u64(buffer, pos, fi_ptr->counters[i]);
pos += store_gcov_u64(buffer, pos,
size_t store_gcov_u64(void *buffer, size_t off, u64 v);