Symbol: fixedfactorclock_get