string -> int -> string -> int