let option_name = "-obviously-terminates-function"