:- '$benchmark'(ops8, 1000, ops8, '$dummy').