Devin's annotations
Devin Annotated