Misc

Collection of some useful stuff