let program_args_internal = ref []