let input_file_list = ref []