Module Import.Max_num_threads

module Max_num_threads: Config.Max_num_threads