Some precompiled stuff that doesn't belong anywhere else