void registered_module();