mutable
active_view :
Ed_view
.gui_view option =
None