fix buffer size of printf's to 12 bytes

It must handle the worst situation of -2147483648 (INT_MIN; -2^31).