A wrapper for printf() that has the format string in the
constant AS. Incomplete.
Add a Clang patch to not force 64bit doubles on 32bit targets.