reformat benchmark source codes to meet the requirements of the annotation generation.