Fix internal printf() for case of NULL string pointer, but with format precision shorter than 6 characters where "(null)" does not fit, return empty string instead.