Finally, we also provide some useful tools, e.g., for generating output, measuring time, and sorting.
