|  | Timing: basic timer operation | 
|  | timing_timer_simple: | 
|  |  | 
|  | Timing: timer reset | 
|  | timing_timer_reset: | 
|  |  | 
|  | Timing: two parallel timers, delay 0 | 
|  | timing_two_timers:0: | 
|  |  | 
|  | Timing: two parallel timers, delay 100 | 
|  | timing_two_timers:100: | 
|  |  | 
|  | Timing: two parallel timers, delay 1000 | 
|  | timing_two_timers:1000: | 
|  |  | 
|  | Timing: two parallel timers, delay 10000 | 
|  | timing_two_timers:10000: | 
|  |  | 
|  | Timing: delay 0ms, 0ms | 
|  | timing_delay:0:0: | 
|  |  | 
|  | Timing: delay 0ms, 50ms | 
|  | timing_delay:0:50: | 
|  |  | 
|  | Timing: delay 50ms, 50ms | 
|  | timing_delay:50:50: | 
|  |  | 
|  | Timing: delay 50ms, 100ms | 
|  | timing_delay:50:100: | 
|  |  | 
|  | Timing: delay 50ms, 200ms | 
|  | timing_delay:50:200: | 
|  |  | 
|  | Timing: alarm in 0 second | 
|  | timing_alarm:0: | 
|  |  | 
|  | Timing: alarm in 1 second | 
|  | timing_alarm:1: | 
|  |  | 
|  | Timing: hardclock | 
|  | timing_hardclock: |