Symbol: inj_decl_validate_nop