Returns the length of the specified string.
int string::get-length(s)
string::get-length('foo') ==> 3
string::get-length('') ==> 0