benchmark (thanks to scalameter)