Miscellaneous bits of code that might be useful as examples