let output_c_file = ref ""