/*pgaunt called by punch gaunts command to output gaunt factors */
void pgaunt(FILE* io);