Are we actually using `system_timer`?