A while ago, someone brought in a candy machine to AdaCore. Sometime after, [Fabien-Chouteau] was challenged to make it more… fun. So he decided to make it harder to receive candy — you know ...