system_timer in dev/test only