deprecated("This module will be removed in future release.")
module imports.a12567;

void foo() {}
