R-00499-61092-27165-16377-46237-62847-03036-01930 tcl slt th3 src
/* IMP: R-00499-61092 */
# EVIDENCE-OF: R-00499-61092 -- syntax diagram create-view-stmt