Debugging utilities (actually, a profiling tool).