4daefb91bf
gdb_strcpy, respectively. This saves fixing the wrong return type of the private strlen and makes the addresses of strlen and strcpy unambiguous.