Haofeng Hua

@smarr Is this PR eligible to merge?

> > @smarr Is this PR eligible to merge? > > Why do you ask? I had started the last missing benchmark, Havlak, a while ago, but its still not...