Random stuff

which may or may not be of use to somebody.
Enjoy!

Random helpers

GCC PR 

Random other stuff