Symbol: inj_decl_finish