let
quantif_locals kf p =
W
.quantif_locals kf p