let option_name = "-sparecode-annot"