A few other diagnostic printf that are useful on occasion.