3828 The string(3c) man page needs restrict keyword for strtok_r()