let read_int () =
        try (read_int ()) with Failure "int_of_string" -> 0