A tool to benchmark programs