Symbol: dec_3maxplus_cons_init