Symbol: is_coll_proof_cksum