Update annotated.c