Symbol: dumptimespec