let v_of s = Partition.v_of s.p