I just noticed that these two printf-like functions don't declare CHECK_PRINTF(), possibly leading to bugs elsewhere in our code.