:- func strdup(string) = string.