Fully qualify printf