(BIN) codecover.hpi