../ forall.pl,v 02-Nov-2026 22:25 5797 make.pl,v 02-Nov-2026 22:25 6237 tk.pl,v 02-Nov-2026 22:25 6512 wc.pl,v 02-Nov-2026 22:25 5729