example on which to reason about finalizers