new (old) blog post: printf'ing a length-delimited string.