let
simpl() =
Wp_parameters
.
Simpl
.get()