k <- 4

P(v[k])

로 함수 호출하고

함수 내부에서 k <- 3 으로 바뀌었으면

P의 result를 받아오는 변수는
v[4] 인가요 v[3] 인가요

저 v[k] 가 결정되는 시점이
함수 호출일까요 함수 종료일까요