If we reach this code with fibrilResumeValue == 0, then something went wrong (as it did with gcc-14, but that is solved in a later commit).