let output_file = ref ""