Added a sample snippet for set_finalizer()