JIT: converted CvPlayerAI