Symbol: SMT_SIZE