While sorting a large file I ended up with a small number of lines not properly sorted. I narrowed down the issue to a very small example. Running "sort" on a file wit
