Symbol: SMT_P0015