Benchmark now at least runs, though still faults