let
output_file = ref
""