Generic seems easy enough. I mean, it will be a thing in a world. Gives any other potential highschoolers to walk in willy nilly, should we have onlookers or otherwise. Although, maybe naming it would have the same effect? Or maybe just roll with generic until otherwise forced to name it. Are there schools open in july? Huhmmm...

Also, if my English gets too hard to understand, just look at me like I'm crazy and I'll try to fix it.

Edit: Aannnnnd you beat me to it, lol.