annotated code