Do better about avoiding the use of printf (and variants).