add assertion of set_timer
Merge branch 'work'