How are the timeout IDs allocated?

I'm not sure. I had thought the assignment was:

• If no timers, assign '1'
  
• If there are timers, assign 1 more than the last timer
  
  

However I had to write some code to cope with timers being added/removed while handling a timer, and it could be that does some strange things with the numbering...