(TXT) tex8to7.c