/*result punch results from punch results command */
void result(FILE* io);