R-14448-43678-05303-33112-56516-08961-61623-18737 tcl slt th3 src
/* IMP: R-14448-43678 */
# EVIDENCE-OF: R-14448-43678 -- syntax diagram alter-table-stmt