let model_base : D.integer -> D.integer = D.e_app1 "base"