Cast for printf.