let
make k z = (
Dpd
.make_simple k), z