updated execcnts.c