Update distributed_incdec.c