let
error () = raise (
Invalid_argument
"invalid real constant"
)