added odoctest to thih.ml