OK, did not know this. Please ignore all my other comments then (however it is inconsistent though as there are comparisons where you check for length >= pos +1)