The same example was later rewritten for the noweb literate programming tool.
后来它也为noweb文学编程工具而重写。