let input_file = ref ""