f5.js: stub until threads can actually change