Symbol: SMT_P10F1