Symbol: timespec2val