../ basic.cc,v 02-Nov-2026 22:51 5937 generation_prohibited.cc,v 02-Nov-2026 22:51 5903 propagation_consistent.cc,v 02-Nov-2026 22:51 5957