Updated examples for the new finalizer API