let
p0 =
Resolution
.piece_random ~c:c ()