R-23620-17415-10297-52288-61514-40312-34839-07434 tcl slt th3 src
/* IMP: R-23620-17415 */
# EVIDENCE-OF: R-23620-17415 -- syntax diagram pragma-value