Indentation + some debug output in res.ml