/*PunHeat punch contributors to local heating, with punch heat command */
void PunHeat(FILE* io);