added aobench.hs