let
dzone_empty () =
Wp_parameters
.not_yet_implemented
"empty zone in Caveat"