Corpus for bind$bt_sco:
Coverage
Program