PP/2: complete circular_insert