Annotations for GET_ITER