just miscellaneous pieces of code