Add sfmt_tests:reds/1