Re: [jhc] JHC benchmark.