step4_if_fn_do.ml