Simple, small, fast, and correct implementations of all the standard Linux command line utilities