aobench: take out unnecessary conversions; reformat to be consistent with other benchmarks