/ structure / chapter6.txt
chapter6.txt
1  == Searching Words
2  
3  === Find First 0-Byte
4  
5  include::../proofs/zbyte1.txt[]