printf via int.