These scripts support use of Noweb under Plan 9.