Symbol: SMT_MAX_MULTI