let print_configuration config = config.print_configuration