R-00803-54899-64866-44536-25730-14297-31356-47895 tcl slt th3 src
/* IMP: R-00803-54899 */
# EVIDENCE-OF: R-00803-54899 -- syntax diagram create-virtual-table-stmt