Various pieces of general-purpose code