-/* Reads a 128 kB file and "sorts" the bytes in it, using
- counting sort. The sorted data is written back to the same
- file in-place. */
+/* Reads a 128 kB file into static data and "sorts" the bytes in
+ it, using counting sort, a single-pass algorithm. The sorted
+ data is written back to the same file in-place. */
#include <debug.h>
#include <syscall.h>