例えば、上記プログラムの最初の節はkernel parlogで以下の形式に変換された。