more testing on printf()