let
output_file = ref
None