// Guarded by fLock