[gigatexal]

That’s an interesting idea. It’s a tough ask, too: they have to get familiar with the code and then find the logic error. That’s quite the puzzle.