Characteristic predicate SpinOnField::EmptyLoop::EmptyLoop

EmptyLoop()