You can drop these safety comments.  If you want to add one, put a general comment at the top where pos is first used to index stdC