Some performance microbenchmark