javascript.js: debug setTimeout code generation