Timer sleep: another bug, still pagefaulting