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