benchmarks: libhurdbugaddr