let start_msg () =
  feedback ~level:2 "====== RTE ANNOTATIONS GENERATION ======"