* src/threads/lock.cpp (sable_flc_waiting): Slight optimization, avoiding