the user callback gets a const timer ref, so in principle the context would always be read-only. However, in practice it would often be desirable to mutate the passed context. Therfore, it's now mutable.