Not really your fault, but I've always found the sentence "Treat the input as undefined" confusing. Can we make it "In this case you should not make any assumptions about the content of the passed in array `a` after this function completes -- treat it as undefined."

(We could drop the mention of it "probably" being sorted, since this is pretty useless information...)