The code mentions a handset codenamed ‘aliothin’ with a model number M2012K11AI. The code suggests that this phone is likely going to be called Mi 11X. The Redmi K40 is codenamed ‘alioth’ and the additional ‘in’ suffixed in the new codename is likely for handsets launched in the Indian market. This leads to the conclusion that the Redmi K40 may launch in India as the Mi 11X and not as the Poco F3.