R-38448-21757-56156-03770-36676-34504-20974-25919 tcl slt th3 src
/* IMP: R-38448-21757 */
# EVIDENCE-OF: R-38448-21757 -- syntax diagram reindex-stmt