Restored printf.