deprecated([""]) module imports.fail19609a;