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 that users add an annotation for existing, unmodified functions and implement an API that specifies how to partition data in the library.