[dev-context] \usemodule and prtcatcodes