adr Sun, 11 Aug 2019 12:20:55 -0700
echo unsigned int $name_len = $len ;
upps!, just in case: ${name}_len