rewrite DynTest = DynTestModule.