let mk_part pid (k, n) = { pid with p_part = Some (k,n) }