(the benchmark looks not very useful on current CPUs - runs within fractions of seconds -, but anyway)