Code

PostRR_update(): Use rrtimeslice_cmp() to decide how to do the update.