Prototype names for the company marketing Kakegurui games