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