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