let module_name = Info.name