../ basic.cc,v 02-Nov-2026 22:50 5590 generation_prohibited.cc,v 02-Nov-2026 22:50 5571 propagation_consistent.cc,v 02-Nov-2026 22:50 5570