This file should be named `system_timer_spec`.