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