no longer using knuthsorts header