Regress.AnnotationNotifyFunc

This is a callback with a 'closure' argument that is not named 'user_data' and hence has to be annotated.