Create finalizer.scrbl