Originally Posted By: Wims
...so yes, as said, it's impossible to directly access an information about a timer which has a number for id.

$timer(timer1) works fine. This is not the format returned by $ctimer though.