drcov -dump_text table count is sometimes wrong
There appears to be a format string error with a 32-bit output type for a 64-bit entry count for -dump_text: https://github.com/DynamoRIO/dynamorio/blob/master/ext/drcovlib/drcovlib.c#L142 This would not affect binary output.