Added printf format checking to the ok() and trace() macros, and fixed