let
parse_int (_,s) = int_of_string s