Annotated all the LoopInterface implementations