Rfc6810 bis

pull request for reviewing code
I don't think so. *ary is a void pointer, so we only would increase the value by sizeof(void*) if we don't  cast *ary.