s4:drepl_out_helpers.c - fix a counter type