A small helper to measure user timings