let
subst_havoc _ _ =
Wp_parameters
.not_yet_implemented
"subst_havoc of pointer"