Empero: A 9B that checks its own work · HackerLangs