I thought that the problem with printf was that newlib's implementation sucks.