<div dir="ltr">it may well be that sort behaves in accordance with the definition, if so i say the definition has a bug.  "a" should not preceed null.</div>