Microbenchmarking on Android