Before revision:  SAs only require that users add an annotation for existing, unmodified functions and implement a small API to split data values in the library.
After revision:  SAs only require developers to annotate functions and implement a small API to split data values in the library.