michael@0: (function f(w) { for([w] in 1) {} }).toString();