just add simple specification for __po_hi_compute_miss...