(BIN) vectorcast-coverage.hpi