Declare printf