What should they code with? [HolyC](https://en.wikipedia.org/wiki/TempleOS)?