appropriate namespace for create_brig_module_from_file