R-16666-59030-30817-34815-20726-22427-22916-09536 tcl slt th3 src
th3/req1/attach01.test:10
/* IMP: R-16666-59030 */
# EVIDENCE-OF: R-16666-59030 -- syntax diagram attach-stmt