Sumeet Agarwal solves an Advent problem with Mu: http://akkartik.github.io/mu/html/linux/advent2017/1a.mu.html