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