let option_name = "-aorai-show-op-spec"