Symbol: SMT_P4022