let option_name = "-obviously-terminates"