Symbol: SMT_P1035