Add GCC-style printf annotation to the routines that now take a format