My personal library of auxiliary code.