Needed because normal printf() can trigger a malloc() (for standard stream locks) which then re-triggers this check.