let
last_annotations = ref []