closure-conversion spec