New unwind-protect flavors to better type-check C callbacks.