{{ w = A[i] }}
{{ Inv: s = A[i] * (A[i]-1) * ... * w}}
while (w != 1) {
	{{____}}
	w = w - 1;
	{{____}}
	s = s * w;
	{{____}}
}