let get_state = RteAnnotTbl.get_state