/*PunCool punch coolants */
void PunCool(FILE * io);