Deferred satisfaction no longer needs a void pointer argument