Cross reference for njudge.spec of cxref.