9.3 出力切替え先番号（diversion number）

組み込みマクロdivnumは現在の切替え先（current diversion）の番号に展開されます。

     divnum

     Initial divnum
     Initial 0
     divert(1)
     Diversion one: divnum
     divert(2)
     Diversion two: divnum
     divert
     
     ^D
     
     Diversion one: 1
     
     Diversion two: 2

逆切替えされて出力されるテキスト自身が切替え先に出力されてしまうのを防ぐため に最後にある引数無しのdivertの呼び出しが必要です。