let display_call_annot = display_annot `Call