"""allocbench benchmark definitions"""