proof of __po_hi_msg_read