Symbol: SMT_P0012