babby's first printf, now with  __attribute__ ((format (printf, 1, 2)))
align things so it looks prettier