improve C coverage output