Lazy values microbenchmark