module deprecation core_ext