Add implementation of ws_string_substr()