pub unsafe extern "C" fn PL_next_solution(qid: qid_t) -> c_int