blob: ff74002c486c9e7a94a60394d3d94f8896d6ecb9 [file]
:- '$benchmark'(divide10, 1000, divide10, '$dummy').