Anyway, looking more closely at the new help file, I see that in the example, timer 0 was used rather than timercb 0.
Print “timer example”
Timercb 1000, [test]
If io(pi,d3) = 0 then
serialPrintln “timer has been disabled”
serialPrintln “Button connected to d3 (gpio 0) is high”
If that was the actual code used to test the timer, it gave a false sense of correctness, as timer 0 does not stop the timer set up with timercb, and "timercb 0" was not tested.