add ones-reduction allocation checking