Fixes #78: Implements reg.finalizer()