Email (record): Exact Gap Computation for Code Coverage Metrics in ISO-C