Use default types for printf arguments