R-06612-24448-11460-25967-41652-19481-01458-04189 tcl slt th3 src
/* IMP: R-06612-24448 */
# EVIDENCE-OF: R-06612-24448 -- syntax diagram simple-function-invocation