Were these extracted from some server code that we no longer have? If so, probably warrants a comment.