[Speed] Experiences with Microbenchmarking