Symbol: __printf0__