../ Makefile,v 02-Aug-2025 02:01 7775 bastok.1,v 02-Aug-2025 02:01 8130 bastok.l,v 02-Aug-2025 02:01 15118