let option_name = "-aorai-to-buchi"