let update_c p c = (p.c <- c; p)