(the just-found miscompile wasn't caught by Csmith in ~8 hours of testing, either)