let output_file = ref None