let option_name = "-aorai-output-c-file"