Convert a string to an integer, with the property that if the return value(s1) < return value(s2), then s1 < s2
(String s)
source not stored for this graph (policy: none)
no outgoing calls
no test coverage detected