Add sfmt_pure_tests:reds/1