It should probably be specified that make-accumulator calls its finalizer in tail context.