Not sure how these ended up as siamese twins in the same
source file. Of course, separating them doesn't make them
any more beautiful.