Symbol: SMT_P4051