Symbol: ad4000_time_spec