Symbol: SMT_MAX_TEST