checkpoint partial function.