Printf library is working