let option_name = "-show-op-spec"