proof og __po_hi_msg_get_data checked and refactored
proof of __po_hi_msg_move checked