Function useSetTimeout

tools/pythonauto/static/skulpt-004/skulpt.js:4395–4399

()

    }

    function useSetTimeout() {
      return function() {
        local.setTimeout(flush, 1);
      };
    }

    var queue = [];
    function flush() {