GCOV_TAG_COUNTER_BASE
pos += store_gcov_u32(buffer, pos, GCOV_TAG_COUNTER_BASE);
(GCOV_TAG_COUNTER_BASE + ((unsigned int) (count) << 17))