add pin-code-coverage-measure stuff