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