今までで一番短いです。インデックスで区別するというものがあります。ひとつの呼び出しがインデックス値によって各エントリに振り分けられます。("MESSAGE");このインデックス値には名前が付いていません。2012からの事前条件/事後条件は仕様部側に書くことになります。そのため実際に呼ばれているエントリの区別をつけることができませんでした。属性として参照できるようになりました。呼ばれますとデッドロックします。なければならない、という事前条件を付けました。pygmentsってテキトーですよね、と改めてしみじみと。entry所感¶インデックス値付きのエントリは忘れられているぐらいマイナーという話でした。