I could just replace both str_map_bytes and str_copy_map_bytes with iterator chains if you think that would be better. 

str_copy_map_bytes originally got introduced in #8231 under the name map_bytes. @SimonSapin: Any reason why you choose pointer arithmetic?