Miscellaneous pieces of code from hither and yonder