let
name = incr kindex ;
Printf
.sprintf
"Wprop.Indexed.%d"
!kindex