let pos = Array.copy P.pos