Re: #4964: Spins for F16