Compile-time checked printf