Update annotate.c