StreamOutput: Mark printf with __attribute__((format))