Added get_user_string to stdlib.