:$ f x :! p a b No checkpoint: ~ f From checkpoint: ~ f Force no checkpoint: ~ f()