Symbol: inj_defn_finish