Symbol: SMT_P4011