let parse_int (_,s) = int_of_string s