Appendix A. Using GNATcoverage Binary Traces bin_intro bin_traces cov_object cov_metrics bin_gps bin_convert